שינויים
/* פתרון */
ההכלה בכיוון ההפוך דומה.
הגדרה: תהי קבוצה 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>
