The Cartesian product of two classes A, B is the class containing every pair whose first component is in A and whose second component is in B.