Compact Hausdorff space (source code)

= Compact Hausdorff space

A compact Hausdorff space is both <compact> and <Hausdorff>. Such a space is <normal topological space>[normal], and every real-valued <continuous function> on it is bounded.