A,B,C ve D herhangi dört küme olmak üzere
(A×B)∩(C×D)=(A∩C)×(B∩D) olduğunu gösteriniz.
(x,y)∈(A×B)∩(C×D)⇔(x,y)∈A×B∧(x,y)∈C×D
⇔(x∈A∧y∈B)∧(x∈C∧y∈D)
⇔x∈A∧y∈B∧x∈C∧y∈D
⇔(x∈A∧x∈C)∧(y∈B∧y∈D)
⇔x∈A∩C∧y∈B∩D
⇔(x,y)∈(A∩C)×(B∩D).