豪斯多夫空间
Note that formula_6 is a Hausdorff space.