Editing Hausdorff space (section)

== Preregularity versus regularity ==
All [[regular space]]s are preregular, as are all Hausdorff spaces. There are many results for topological spaces that hold for both regular and Hausdorff spaces.
Most of the time, these results hold for all preregular spaces; they were listed for regular and Hausdorff spaces separately because the idea of preregular spaces came later.
On the other hand, those results that are truly about regularity generally do not also apply to nonregular Hausdorff spaces.

There are many situations where another condition of topological spaces (such as [[paracompactness]] or [[local compactness]]) will imply regularity if preregularity is satisfied. Such conditions often come in two versions: a regular version and a Hausdorff version. Although Hausdorff spaces are not, in general, regular, a Hausdorff space that is also (say) locally compact will be regular, because any Hausdorff space is preregular. Thus from a certain point of view, it is really preregularity, rather than regularity, that matters in these situations. However, definitions are usually still phrased in terms of regularity, since this condition is better known than preregularity.

See [[History of the separation axioms]] for more on this issue.