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