直積集合
in the Cartesian product of the such that