montrons que AxB=C(AxCB)nC(CAxCB)nC(CAxB)
C(AxCB)nC(CAxCB)nC(CAxB) = {(x,y);(x€CA ou y€B) et (x€A ou y€B) et (x€A ou y€CB)}
={(x,y);((x€CA et x€A) ou y€B) et (x€A ou y€CB)}
={(x,y); y€B et (x€A ou y€CB)}
={(x,y); ( y€B et x€A) ou (y€B et y€CB) }
={(x,y); y€B et x€A}
={(x,y); x€A et y€B}
=AxB
N.B: intersection:n
C : complémentaire
Déf :AxB={(x,y);x€A et y€B}
Donc C(AxB) ={(x,y) ; x€CA ou y€CB}