in natürlicher Weise gebildetes Produkt von Mengensystemen.

Es seien für i = 1, …, n ℳ_i Mengensysteme in den Mengen Ω_i. Dann heißt \begin{eqnarray}{\times }_{i=1}^{n}{ {\mathcal M} }_{i}:=\{{\times }_{i=1}^{n}{A}_{i}|{A}_{i}\in { {\mathcal M} }_{i}\,\text{f}{\rm\ddot{u}}\text{r}\,\text{alle}\,i\}\end{eqnarray}

das Produkt der Mengensysteme ℳ_i oder Produktmengensystem.