שינויים
/* חיתוך */
==חיתוך==
אם ידוע לי ש-<math>A\setminus B=A\setminus C</math>
אני יכולה להסיק מזה שB=C?
:לא: <math>A=\{1,2\}\and B=\{1\}\and C=\{0,1\}\implies A\setminus B=\{1,2\}\setminus\{1\}=\{2\}=\{1,2\}\setminus\{0,1\}=A\setminus C</math>
::התבלבלתי זה היה אמור להיות שB וC מוכלים בA.. ואז אני חושבת שזה נכון. אבל תודה :):::אם <math>B,C\subseteq A</math> אז:::<math>\begin{align}&A\setminus B=A\setminus C\\\implies&A\cap B'=A\cap C'\\\implies&A'\cup(A\cap B')=A'\cup(A\cap C')\\\implies&(A'\cup A)\cap(A'\cup B')=(A'\cup A)\cap(A'\cup C')\\\implies&(A\cap B)'=(A\cap C)'\\\implies&A\cap B=A\cap C\\\implies&B=C\qquad\Big(\text{because }B,C\subseteq A\Big)\\\blacksquare\end{align}</math>
==תרגיל 3, שאלה 3==
