合作为行而另一个集合作为列，从行和列的集合选择元素，以形成有序对作为表的单元格。可以推广到在formula_36个集合formula_37上的"n"-元笛卡儿积:实际上，它可以被等同为formula_39。它是"n"-元组的集合。一个例子是欧几里得三维空间formula_40，这里的formula_32同样是指实数集。
无穷乘积.对最常用的数学应用而言，上述定义通常已经足够。但是，也可以在任意（可能无限）的集合的搜集上定义笛卡儿积。如果formula_42是任何指标