compact Hausdorff space