שינויים

(<math>\subseteq</math>) נניח <math>x\in A\cap(B\\ backslash C)</math> אזי

<math>x\in A \land x\in B \land x\not\in C \RightarrowLeftarrow</math><math>x\in A\cap B \land x\not\in A\capC cap C \RightarrowLeftarrow</math><math>x\in (A\cap B) \slash backslash (A\cap C)</math>

(<math>\supseteq</math>) נניח <math>x\in (A\cap B) \\ backslash (A\cap C)</math> אזי

<math>x\in A\cap B \land x\not\in A\cap C \RightarrowLeftarrow</math><math>x\in A \land x\in B \land x\not\in C \Leftarrow </math>(כי אם <math>x\in C</math> אזי <math>x\in A\cap C</math> סתירה)<math>\Rightarrow x\in A\cap(B\\ backslash C)\Leftarrow </math>