豪斯多夫空间
Completely normal Hausdorff space