A (infinitely differentiable) Manifold is said to be a submanifold of a Manifold if is a Subset of and the Identity Map of into is an embedding.