Hausdorff space (source code)

= Hausdorff space
{c}
{wiki}

= Hausdorff
{c}
{synonym}

A Hausdorff space separates any two distinct points by disjoint open neighborhoods.