הפרש (תורת הקבוצות)
מראה
בתורת הקבוצות, הפרש של שתי קבוצות ו־ הוא הקבוצה שמכילה את כל איברי שלא שייכים ל־. קבוצה זו מסומנת ב־ או ב־:
פעולה ההפרש איננה קיבוצית או חילופית. פעולת ההפרש מקבילה ל"וגם לא" הלוגי. (מדובר באוסף האיברים השייכים לקבוצה ולא שייכים לקבוצה )
דוגמה
[עריכת קוד מקור | עריכה]יהיו:
- – קבוצת המספרים הטבעיים
- – קבוצת המספרים הטבעיים הזוגיים
- – קבוצת המספרים הטבעיים האי־זוגיים
אזי: