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