In the following we assume all manifolds are differentiable manifolds of class for a fixed , and all morphisms are differentiable of class .

Immersed submanifolds

thumbAn immersed submanifold of a manifold is the image of an immersion map ; in general this image will not be a submanifold as a