直積集合
Symbolically, suppose that the Cartesian product