ハウスドルフ空間
Note that formula_6 is a Hausdorff space.