²The Cartesian product of two sets X and Y, denoted X × Y , is the set of all possible ordered pairs whose first component is a member of X and whose second component is a member of Y.