If and are sets, then we define the Cartesian Product to be the collection of ordered pairs, e.g. , whose first component lies in and whose second component lies in
An example would be (i.e. the cartesian plane). is the cartesian product of “crossing” with itself.