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: