分離公理

Hausdorff

Ex. Hausdorffになる例
ユークリッド空間
距離空間
位相多様体
ノルム空間（⇒距離空間）
ノルム空間に弱位相を入れた空間

Hausdorff空間の部分空間
Hausdorff空間の直積空間

Ex. Hausdorffにならない例
Zariski位相を入れた代数多様体　←　閉集合の公理から定義する。
可換環のスペクトル　←　基本近傍系の公理から定義する。

Hausdorff空間の商空間は，Hausdorffになるとは限らない。