שינויים
/* פעולות על קבוצות */
*קבוצות הן שוות אם הן מכילות את אותם האיברים. הדרך הנפוצה להוכיח שיוויון הינה '''הכלה דו כיוונית''': A=B אם ורק אם <math>(A\subseteq B) \and (B \subseteq A) </math>.
*A '''הפרש''' B הינה הקבוצה המכילה את כל האיברים בA שאינם בB (מסומן A\B). מתקיים ש <math>x\in A/\smallsetminus B \iff (x\in A) \and (x\notin B)</math>.
*'''ההפרש הסימטרי''' בין שתי קבוצות 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) / \smallsetminus (A\cap B)</math>
דוגמא:
<math> B \cap C = \emptyset</math>
<math>C \backslash smallsetminus A =\{\{1,2\}\}</math>
<math> B \Delta C = B \cup C</math>
