A C^∞ (infinitely differentiable) manifold is said to be a submanifold of a C^∞ manifold M' if M is a subset of M' and the identity map of M into M' is an embedding.

embedding | manifold | subfield | subspace