곱집합
Consider the general definition of the Cartesian product: