Strong zero-dimensionality (source code)

= Strong zero-dimensionality

In a normal Hausdorff space, strong zero-dimensionality means that any disjoint closed sets can be separated by a <clopen set>, equivalently by disjoint clopen neighborhoods. For general <Tychonoff spaces>, the usual definition asks this for completely separated sets. In the normal setting <Urysohn's lemma> makes the formulations agree. The condition is equivalent to zero-dimensionality of the <Stone-Čech compactification>.