곱집합
in the Cartesian product of the such that