Kategorie:Theorie der abgeschlossenen Untermannigfaltigkeiten/Definitionen