Cartesian product

Definition: Cartesian product
If and are sets, then the cartesian product of and (written ) is the set of ordered pairs of elements, one from and one from . Formally, .

For example,