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.