Set in a compact Hausdorff space is compact iff it is closed