קבוצה היא אוסף איברים ללא חשיבות לחזרה וללא חשיבות לסדר

מסמנים קבוצה בסוגריים מסולסלים {}

מסמנים ב-{} או ב-∅

קבוצה שאין בה איברים

x ∈ A משמעו: x שייך לקבוצה A

x ∉ A משמעו: x לא שייך לקבוצה A

A ⊆ B משמעו: כל איברי A נמצאים גם ב-B

A ⊈ B משמעו: יש איברים ב-A שאינם נמצאים ב-B

• חיתוך (∩): איברים המשותפים לשתי הקבוצות

• איחוד (∪): כל האיברים שנמצאים לפחות באחת הקבוצות

• הפרש (\): איברי הקבוצה הראשונה שאינם בשנייה