Let \(F\colon M\to N\) be a smooth map between smooth manifolds. It is called smooth embedding if it is a smooth immersion and a topological embedding (i.e. \(F(M)\subset N\)).

Notation: \(M \hookrightarrow N\)

Questions Link to heading

• Why we ask for an immersion and not for a smooth injective map?

See also Link to heading

• embedded submanifold