Smooth embedding

If and are smooth manifolds, a smooth embedding is a smooth map that is a topological embedding and is a smooth immersion.

Note, this is not just a topological embedding that is also smooth, this is a stronger condition.