Abgeschlossene Untermannigfaltigkeit/Ist Mannigfaltigkeit/Fakt
Es sei eine differenzierbare Mannigfaltigkeit der Dimension und eine abgeschlossene Untermannigfaltigkeit der Dimension von .
Dann ist eine differenzierbare Mannigfaltigkeit derart, dass die Inklusion eine differenzierbare Abbildung ist.