הפרש קבוצות
מתוך ויקיפדיה, האנציקלופדיה החופשית
הפרש של שתי קבוצות A ו- B הוא הקבוצה שמכילה את כל איברי A שלא שייכים ל- B. קבוצה זו מסומנת ב
.
פעולה ההפרש איננה אסוציטיבית או קומטטיבית.
פעולת ההפרש מקבילה ל"וגם לא" הלוגי.
לדוגמא, יהיו:
-קבוצת המספרים הטבעיים,
- קבוצת המספרים הטבעיים הזוגיים,
- קבוצת המספרים הטבעיים האי-זוגיים.
- הקבוצה הריקה
אזי:





