有n元序组所成的集合：

D={a_1，a_2，…，a_n丨a_1∈A_1，a_2∈ A_2，…，a_n∈A_n }

称为集合A_1，A_2，…，A_n、的笛卡儿积，记作：

D=A_1*A_2*...*A_n。

特殊情况：若A_1=A_2=…=A_n=A时，则称D为A的n重笛卡儿积。

A_1*A_2*...*A_n的一个子集R，称为集合A_1，A