直積集合
Algebraic operations on the Cartesian product