豪斯多夫空间
Paracompact Hausdorff space