Non-Hausdorff manifold (source code)

= Non-Hausdorff manifold
{wiki}

A <non-Hausdorff manifold> is a locally Euclidean <topological space> for which distinct points need not have disjoint neighborhoods. The real line with two origins is a basic example. Nonseparated algebraic schemes exhibit analogous gluing phenomena, but are not generally topological manifolds.