設X，Y是任意兩個集合，按定義一切序對（x,y）所構成的集合：
X×Y := {(x,y)|(x∈X）∧（y∈Y)}
叫做集合X,Y（按順序）的直積或笛卡爾積，X×X叫做X^2。
集合中的.對角線：
△ = {(a,b）∈X^2| a = b }
是X^2的一個子集，它給出集X中元素的相等關係，事實上，a△b表示（a,b）∈△。即a=b。
文萃咖
