カントール空間
位相空間がカントール空間となるための必要十分条件は、それが空でない完全かつコンパクトな完全不連結距離化可能空間となることである。
この定理は(ブール代数に対するストーン表現定理を通じて)任意の二つのカントール代数(可算かつアトムを持たないブール代数)は同型であるという事実に同値である。