豪斯多夫空间
Completely Hausdorff space