設X，Y是任意兩個集合，按定義一切序?qū)Γ▁,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。