豪斯多夫空间
Perfectly normal Hausdorff space