Es seien M {\displaystyle {}M} und N {\displaystyle {}N} zwei differenzierbare Mannigfaltigkeiten mit den Atlanten ( U i , U i ′ , α i , i ∈ I ) {\displaystyle {}(U_{i},U_{i}',\alpha _{i},i\in I)} und ( V j , V j ′ , β j , j ∈ J ) {\displaystyle {}(V_{j},V_{j}',\beta _{j},j\in J)} . Dann nennt man den Produktraum M × N {\displaystyle {}M\times N} mit den Karten
(mit ( i , j ) ∈ I × J {\displaystyle {}(i,j)\in I\times J} und U i ′ × V j ′ ⊆ R m × R n {\displaystyle {}U_{i}'\times V_{j}'\subseteq \mathbb {R} ^{m}\times \mathbb {R} ^{n}} ) das Produkt der Mannigfaltigkeiten M {\displaystyle {}M} und N {\displaystyle {}N} .