Locally Hausdorff space (source code)

= Locally Hausdorff space
{wiki=Locally_Hausdorff_space}

A **locally Hausdorff space** is a topological space in which every point has a neighborhood that is Hausdorff.