直積集合
Consider the general definition of the Cartesian product: