Compact Hausdorff space
ID: compact-hausdorff-space
A compact Hausdorff space is both compact and Hausdorff. Such a space is normal, and every real-valued continuous function on it is bounded.
New to topics? Read the docs here!
New to topics? Read the docs here!