Separation axiom
= Separation axiom
{wiki}
A separation axiom is a condition on a <topological space> expressing how points or closed subsets can be distinguished by <open sets>. The <Kolmogorov space> condition distinguishes distinct points by some open set; the <T1 space> condition makes every point closed; the stronger <Hausdorff space> condition gives disjoint neighbourhoods to distinct points.