Extremally disconnected space
In mathematics, an extremally disconnected space is a topological space in which the closure of every open set is open.In the duality between Stone spaces and Boolean algebras, the Stonean spaces correspond to the complete Boolean algebras.An extremally disconnected first-countable collectionwise Hausdorff space must be discrete.The following spaces are not extremally disconnected: A theorem due to Gleason (1958) says that the projective objects of the category of compact Hausdorff spaces are exactly the extremally disconnected compact Hausdorff spaces.[2] Hartig (1983) proves the Riesz–Markov–Kakutani representation theorem by reducing it to the case of extremally disconnected spaces, in which case the representation theorem can be proved by elementary means.