 By the same construction, every locally compact Hausdorff space "X" is an open dense subspace of a compact Hausdorff space having at most one point more than "X".A nonempty compact subset of the real numbers has a greatest element and a least element.Let "X" be a simply ordered set endowed with the order topology.