Definition
Cartesian Product
The Cartesian product of two sets
and is the set of all ordered pairs whose first component belongs to and whose second component belongs to : Equivalently, an object
belongs to the product precisely when
Examples
Example
For
and , The order of the components matters:
, whereas .