定義（代数的整数論018の223）
X を位相空間とする。
x と y を X の任意の相異なる２点とする。
このとき x の近傍 U で y を含まないものがあるか
y の近傍 V で x を含まないものがあるとき X を T_0 空間と呼ぶ。