豪斯多夫空间
Continuous functions on a compact Hausdorff space