The product1 of $\webleft\{ A_{i}\webright\} _{i\in I}$ is the product of $\webleft\{ A_{i}\webright\} _{i\in I}$ in $\mathsf{Sets}$ as in ,
.
1Further Terminology: Also called the Cartesian product of $\webleft\{ A_{i}\webright\} _{i\in I}$.