ハウスドルフ空間
Completely Hausdorff space