Cantor set
で位相空間 上の実数値有界連続函数全体の成す空間を表すものとする。コンパクト距離空間 およびカントール集合 に対して、カントール集合は以下のような性質を持つ: