設(shè)X，Y是任意兩個(gè)集合，按定義一切序?qū)Γ▁,y）所構(gòu)成的集合：
X×Y := {(x,y)|(x∈X）∧（y∈Y)}
叫做集合X,Y（按順序）的直積或笛卡爾積，X×X叫做X^2。
集合中的對角線：
△ = {(a,b）∈X^2| a = b }
是X^2的一個(gè)子集，它給出集X中元素的相等關(guān)系，事實(shí)上，a△b表示（a,b）∈△。即a=b。
2024-10-07
設(shè)X，Y是任意兩個(gè)集合，按定義一切序?qū)Γ▁,y）所構(gòu)成的集合：
X×Y := {(x,y)|(x∈X）∧（y∈Y)}
叫做集合X,Y（按順序）的直積或笛卡爾積，X×X叫做X^2。
集合中的對角線：
△ = {(a,b）∈X^2| a = b }
是X^2的一個(gè)子集，它給出集X中元素的相等關(guān)系，事實(shí)上，a△b表示（a,b）∈△。即a=b。