Begriff aus der Maßtheorie. Es seien ((Ω_i, 𝒜_i, μ_i)|i = 1, …, n) σ-endliche Maßräume. \({\times }_{i=1}^{n}{\Omega }_{i}\) das kartesische Produkt der Ω_i, \({\otimes }_{1}^{n}{{\mathcal{A}}}_{i}\) die Produkt-σ-Algebra und \({\otimes }_{1}^{n}{\mu }_{i}\) das Produktmaß.

Dann heißt \(({\times }_{1}^{n}{\Omega }_{i},{\otimes }_{1}^{n}{{\mathcal{A}}}_{i},{\otimes }_{1}^{n}{\mu }_{i})\) Produktmaßraum. Analoges gilt für unendliche Produkte.