给定一组域,D1,D2,…,Dn,这些域中可以有相同的,D1,D2,D3…Dn的笛卡儿积定义为:
D1xD2xD3…xDn={(d1,d2,d3…,dn)|di∈Di,i=1,2,…,n}。其中的每一个元素(d1,d2,d3,…dn)叫做一个n元组或者简称元组。元素中每一个值di叫做一个分量。
笛卡儿积可以表示为一个二维表,表中的每一行对应一个元组,表中的每列对应一个域。
例如:给定的三个域:D1:年份集合=1992,1993;
D2:电影名集合=星球大战,独立日;
D3:电影长度集合=100,120;
D1,D2,D3的笛卡儿积为:D1xD2xD3={(1992,星球大战,100),(1992,星球大战,120),(1992,独立日,100),(1992,独立日,120),(1993,星球大战,100),(1993,星球大战,120),(1993,独立日,100),(1993,独立日,120)}。其中(1992,独立日,100)是元组,1992,独立日,100都是分量。
该笛卡儿积的基数2×2×2=8,一共8个元组。这8个元组可以用表3-2来存放。