Embeddingsformalizethenotionof''M''beingasubmanifoldof''N''.
submanifold