Cartesian product
where formula_4 is the Cartesian product of formula_5 and formula_6