Talk:Continuous functions on a compact Hausdorff space