ハウスドルフ空間
Locally compact Hausdorff space