ハウスドルフ空間
Functionally Hausdorff space