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