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