This notion can be generalized to any codomain (also a smooth manifold) instead of . It is verified the canonical immersion theorem.
On the other hand, an immersed manifold does not necessarily give rise to a submanifold. We have to require that be injective. An immersed submanifold would be a subset of such that it is a immersed manifold with the identity map. The differentiable structure of , and in particular, its topology, has nothing to do with that of .
Theorem (local embedding theorem). Given an immersion and a point there exists a neighborhood of such that the restriction is an embedding.