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.
New to topics? Read the docs here!