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