Submanifold

A $C^\infty$ (infinitely differentiable) Manifold is said to be a submanifold of a $C^\infty$ Manifold $M'$ if $M$ is a Subset of $M'$ and the Identity Map of $M$ into $M'$ is an embedding.

See also Manifold, Subfield, Subspace