Stone space (source code)

= Stone space
{c}
{wiki}

A <Stone space> is a <compact> <Hausdorff space> that is <totally disconnected>, equivalently a compact Hausdorff space with a basis of clopen sets. The topology on a <type space> gives an important example.