allgemeine kartesische Produkt

Sei \((M_i)_{i \in I}\) eine Mengenfamilie, so ist das allgemeine kartesische Produkt definiert als

\begin{align*} \prod_{i\in I}^{} M_i = \{(x_i)_{i \in I} \vert \forall i \in I : x_i \in M_i \} \end{align*}