שינויים

/* קבוצות */
*'''ההפרש הסימטרי''' בין שתי קבוצות A וB הוא אוסף האיברים הנמצאים באחת הקבוצות אך לא בחיתוך (מסומן <math>A\Delta B</math>). מתקיים ש <math>x\in A\Delta B \iff ((x\in A)\and (x\notin B)) \or ((x\in B)\and (x\notin A)) \iff x\in (A\cup B / A\cap B)</math>
 
תכונות האיחוד והחיתוך (דומה לכפל וחיבור)
*אסוציאטיביות: <math>(A\cap B)\cap C = A\cap (B\cap C)</math> (וכנ"ל לגבי איחוד)
*חילוף: <math>A\cap B = B\cap A</math> (וכנ"ל לגבי איחוד)
*דיסטריביוטיביות: <math>A\cap (B\cup C) = (A\cap B) \cup (A\cap C)</math>, וגם <math>A\cup (B\cap C) = (A\cup B) \cap (A\cup C)</math>
 
===תרגיל===
הוכח כי <math>(A\cap B)\cup C = (A\cup C)\cap (A\cup C)</math>. במילים: האיברים שהם (גם בA וגם בB) או בC הם בדיוק האיברים ב(A או C) וגם ב(B או C)