この定理によると、ある位相空間formula_1が距離化可能であるための必要十分条件は、それが正則空間であり、な(開)集合族の可算合併で表せる(すなわち、σ-局所有限な)基底を持つことである。