X,Y,A ve B herhangi kümeler olmak üzere (X×Y)∖(A×B)=[X×(Y∖B)]∪[(X∖A)×Y] olduğunu gösteriniz.
(x,y)∈(X×Y)∖(A×B)
⇔
((x,y)∈X×Y)((x,y)∉A×B)
(x∈X)(y∈Y)(x∉A∨y∉B)
(x∈X)(y∈Y)(x∉A)∨(x∈X)(y∈Y)(y∉B)
(x∈X∖A)(y∈Y)∨(x∈X)(y∈Y∖B)
(x,y)∈[(X∖A)×Y]∨(x,y)∈[X×(Y∖B)]
(x,y)∈[(X∖A)×Y]∪[X×(Y∖B)].