ハウスドルフ空間
Compactly generated Hausdorff space