Cartesian product

The Cartesian product of two sets $A$ and $B$ is the set of all ordered pairs $(a,b)$ such that $a$ is an element of $A$ and $b$ is an element of $B$ . More generally, the Cartesian product of an ordered family of sets $A_1, A_2, \dotsc$ is the set $A_1 \times A_2 \times \dotsb$ of ordered tuples $(a_1, a_2, \dotsb)$ such that $a_j$ is an element of $A_j$ , for any positive integer $j$ for which we have specified a set $A_j$ .

Page

Toolbox

Search

Cartesian product

Proof of Existence

See Also