Cartesian product
Consider the general definition of the Cartesian product: