Definition:Set Product/Family of Sets

Definition
Let $\left\langle{S_i}\right\rangle_{i \in I}$ be a family of sets.

Let $P$ be a set and let $\left\langle{\phi_i}\right\rangle_{i \in I}$ be a family of mappings $\phi_i: P \to S_i$ for all $i \in I$ such that:


 * For all sets $X$ and all families $\left\langle{f_i}\right\rangle_{i \in I}$ of mappings $f_i: X \to S_i$ there exists a unique mapping $h: X \to P$ such that:
 * $\forall i \in I: \phi_i \circ h = f_i$


 * SetProductGeneral.png

Then $P$, together with the family of mappings $\left\langle{\phi_i}\right\rangle_{i \in I}$, is called a product of (the family) $\left\langle{S_i}\right\rangle_{i \in I}$.

This product of $\left\langle{S_i}\right\rangle_{i \in I}$ can be denoted $\left({P, \left\langle{\phi_i}\right\rangle_{i \in I}}\right)$.

Also see

 * Cartesian Product