ハウスドルフ空間
Continuous functions on a compact Hausdorff space