שינויים

<math>(x,y)\in A\times(B\cap C) \iff (x\in A) \and [(y\in B)\and (y\in C)] \iff [(x\in A)\and(y\in B)] \and [(x\in A)\and(y\in BC)] \iff (x,y)\in[(A\times B)\cap(A\times C)]</math>