Non-Hausdorff manifold
ID: non-hausdorff-manifold
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.
New to topics? Read the docs here!