>>251の修正

定義
X を位相空間とする。
X の開かつ閉な部分集合全体が X の開集合の基底となるとき X を０次元(zero-dimensional)と言う。
即ち X の任意の点 x と x ∈ U となる任意の開集合 U に対して
x ∈ V ⊂ U となる開かつ閉な V が存在するとき X を０次元と言う。