豪斯多夫空间
second countable Hausdorff space and formula_5 is its