View source for Open-closed set

{{TEX|done}}
A subset of a [[Topological space|topological space]] which is simultaneously open and closed in that space (cf. [[Open set|Open set]]; [[Closed set|Closed set]]). A topological space $X$ is disconnected if and only if it contains an open-closed set other than $\emptyset$ and $X$. If the family of all open-closed sets of a topological space is a basis of its topology, then this space is called ''[[Zero-dimensional space|inductively zero-dimensional]]''. Every [[Boolean algebra]] is isomorphic to the Boolean algebra of all open-closed sets of an appropriate inductively zero-dimensional [[Hausdorff space|Hausdorff]] [[compactum]]. The so-called [[Extremally-disconnected space|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.



====Comments====
An open-closed set is also called a closed-open set or clopen set.

The correspondence between Boolean algebras and inductively zero-dimensional compact Hausdorff spaces is known as Stone duality or Stone topological duality. Instead of  "inductively zero dimensional"  one also finds simply  "zero-dimensional topological space" or "zero dimensional"  in the literature.

A zero-dimensional compact Hausdorff space is called a Boolean space.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Koppelberg,   "General theory of Boolean algebras"  J.D. Monk (ed.)  R. Bonnet (ed.) , ''Handbook of Boolean algebras'' , '''1''' , North-Holland  (1989)  pp. Sect. 3.7</TD></TR></table>