הפרש (תורת הקבוצות)

מתוך המכלול
קפיצה אל: ניווט, חיפוש
דיאגרמת ון של הקבוצה

בתורת הקבוצות, הפרש של שתי קבוצות הוא הקבוצה המכילה את כל אברי שלא שייכים ל־ . קבוצה זו מסומנת או  :

פעולה ההפרש איננה קיבוצית או חילופית, ומקבילה ל"וגם לא" הלוגי. (מדובר באוסף האברים השייכים לקבוצה ולא שייכים לקבוצה )

דוגמה

יהיו:

– קבוצת המספרים הטבעיים
– קבוצת המספרים הטבעיים הזוגיים
– קבוצת המספרים הטבעיים האי־זוגיים

אזי: