域笛卡儿积

给定一组域，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叫做一个分量。笛卡儿积可以表示为一个二维表，表中的每一行对应一个元组，表中的每列对应一个域。