Smooth embedding
= Smooth embedding
A smooth embedding is an injective immersion that is a homeomorphism onto its image with the subspace topology.
This is the differentiable specialization of an <embedding>, with an injective differential in addition to its topological embedding property.