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