豪斯多夫空间
Fully normal Hausdorff space