##
*
Cartesian Product of Two Sets
*

The *cartesian product* of two sets

is the set of all ordered pairs

such that the first element belongs to the first set in the product,

and the second element in the pair belongs to the second set of the product.

In symbols we write the following: