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