定義
X を任意の集合とする。
X の任意の部分集合を X の開集合と定義することにより X は位相空間となる。
この位相を X の離散位相と言う。
離散位相の入った位相空間を離散空間と呼ぶ。
明らかに離散空間はHausdorffである。