שינויים
/* פתרון */
'''הגדרה''': תהי קבוצה U, ונביט בתתי קבוצות שלה A. ניתן להגדיר את ה'''משלים''' של A כאוסף האיברים בU שאינם בA (ההפרש), מסומן <math>A^c</math>. לא ניתן לדבר על משלים אוניברסאלי ללא U מכיוון שאין קבוצה המכילה את כל הדברים בעולם (אחרת נגיד לסתירות כמו פרדוקס ראסל).
על המשלימים מתקיימים חוקי דה מורגן (הנובעים ישירות מחוקי דה מורגן בלוגיקה):
*<math>(A\cap B)^c = A^c \cup B^c</math>
*<math>(A\cup B)^c = A^c \cap B^c</math>
'''הגדרה''': תהי קבוצה A. נגדיר את '''קבוצת החזקה''' של A בתור אוסף כל תתי הקבוצות של A. מסומן <math>P(A)=\{X:X\subseteq A\}</math>
דוגמא:
<math>A=\{1,2\}</math> אזי <math>P(A)=\{\{\},\{1\},\{2\},\{1,2\}\}</math>.
האם אתם יכולים למנות כמה איברים יש בקבוצת החזקה?
===תרגיל ממבחן===
יהיו A,B,C קבוצות. הוכיחו/הפריכו:
#אם <math>A \not\subseteq B \cap C</math> אזי <math>(A/B)\cap(A/C)\neq \phi</math>
#אם <math>A\subseteq B</math> אזי <math>A\cup(B/A)=B</math>
#אם <math>A\cap B=\phi</math> אזי <math>P(A)\cap P(B) = \{\phi\}</math>
