直積集合
One can similarly define the Cartesian product of "n" sets, also known as an "n"-fold Cartesian product, which can be represented by an "n"-dimensional array, where each element is an "n"-tuple. An ordered pair is a 2-tuple or couple. More generally still, one can define the Cartesian product of an indexed family of sets.