Definition:Cartesian Product/Family of Sets



Also denoted as
Some sources use $\def \bigtimes {\mathop {\vcenter {\huge \times}}} \bigtimes_{i \mathop \in I} S_i$ for $\displaystyle \prod_{i \mathop \in I} S_i$.

Also see

 * Equivalence of Versions of Axiom of Choice