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