カントール空間
任意の二つの空でないコンパクトハウスドルフ空間は、それが孤立点を持たず、かつ開かつ閉集合からなる可算基底を持つならば、それらは互いに同相である。
開かつ閉集合からなる基底を持つという位相的性質は零次元と呼ばれる。ブラウウェルの定理は以下のように言い換えられる: