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

מתוך ויקיפדיה, האנציקלופדיה החופשית
דיאגרמת ון של הקבוצה A-B

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

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

דוגמה[עריכת קוד מקור | עריכה]

יהיו:

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

אזי:

תכונות[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]