ハウスドルフ空間
Fully normal Hausdorff space