定義
X を位相空間とする。
任意の x、y ∈ X、x ≠ y に対して x ∈ U、y ∈ X - U となる開かつ閉な U があるとき
X を完全分離(totally separated)と言う。