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

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

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

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

אזי:

תכונות

קישורים חיצוניים


קטגוריה:תורת הקבוצות
קטגוריה:פעולות בינאריות