7.6 Cartesian product of two sets