ハウスドルフ空間
second countable Hausdorff space and formula_5 is its