Def/Cartesian product 1