豪斯多夫空间
Functionally Hausdorff space