Definition:Set Product

Definition
Let $S$ and $T$ be sets.

Let $P$ be a set and let $\phi_1: P \to S$ and $\phi_2: P \to T$ be mappings such that:


 * For all sets $X$ and all mappings $f_1: X \to S$ and $f_2: X \to T$ there exists a unique mapping $h: X \to P$ such that:
 * $\phi_1 \circ h = f_1$
 * $\phi_2 \circ h = f_2$


 * SetProduct.png

Then $P$, together with the mappings $\phi_1$ and $\phi_2$, is called a product of $S$ and $T$.

This product of $S$ and $T$ can be denoted $\left({P, \phi_1, \phi_2}\right)$.

Also see

 * Cartesian Product
 * Product (Category Theory), a generalization to any metacategory.