直積集合
where formula_4 is the Cartesian product of formula_5 and formula_6