定義
X を位相空間とする。
X の任意の点 x に対して {x} が閉集合となるとき、X を T_1 空間と呼ぶ。