Immersed submanifold (source code)

= Immersed submanifold
{wiki}

An immersed submanifold of $M$ is a manifold $N$ with an injective immersion $\iota:N\to M$; when $N$ is treated as a subset, its manifold topology can be finer than its subspace topology.