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

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

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

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

אזי:

תכונות

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

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

en:Complement (set theory)#Relative complement