Eine abgeschlossene Untermannigfaltigkeit M ⊆ N {\displaystyle {}M\subseteq N} einer differenzierbaren Mannigfaltigkeit N {\displaystyle {}N} .