直積集合
The Cartesian product can be generalized to the "n"-ary Cartesian product over "n" sets "X"1, ..., "Xn" as the set