ハウスドルフ空間
Paracompact Hausdorff space