# Open-closed set

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A subset of a topological space which is simultaneously open and closed in that space (cf. Open set; Closed set). A topological space is disconnected if and only if it contains an open-closed set other than and . If the family of all open-closed sets of a topological space is a basis of its topology, then this space is called inductively zero-dimensional. Every Boolean algebra is isomorphic to the Boolean algebra of all open-closed sets of an appropriate inductively zero-dimensional Hausdorff compactum. The so-called extremally-disconnected Hausdorff compacta form a special class of zero-dimensional compacta, and are characterized by the fact that the closure of any open set in them is also open (and closed). Every complete Boolean algebra is isomorphic to the Boolean algebra of all open-closed sets of an appropriate extremally-disconnected Hausdorff compactum.