Definition:Submanifold
From ProofWiki
Definition
A submanifold is a manifold which is completely contained in some other manifold.
A submanifold is a manifold which is completely contained in some other manifold.