T1分離公理を満たす位相空間(実数体に順序位相を入れたもの、ユークリッド
空間、距離空間など)では一点は閉集合。開集合の補集合が閉集合だから、実
数体の場合、実数xに対して二つの開区間の和(-∞, x)∪(x, +∞)が開集合だ
というのと同じ。