Kategorie:Theorie der Produkte von differenzierbaren Mannigfaltigkeiten/Definitionen