Extremally disconnected space

Summary

An extremally disconnected space is a topological space in which the closure of every open set is open. Equivalently, any two disjoint open sets have disjoint closures. Compact Hausdorff extremally disconnected spaces are exactly the Stone spaces of complete Boolean algebras. By Gleason's theorem, they are also the projective objects among compact Hausdorff spaces.