==== משלים ====
'''הגדרה''': תהי קבוצה U, ונביט בתת (אוניברסלית) ותהי תת קבוצה שלה <math>A\subseteq U</math>. ניתן להגדיר נגדיר את ה'''משלים''' של A כאוסף האיברים בU שאינם בA (כלומר ההפרש ביחס ל <math>U\setminus A</math>), מסומן להיות: <math>A^c=\bar{A}=U-A={x\in U|x\notin A}</math>. לא ניתן לדבר על משלים אוניברסאלי ללא U מכיוון שאין קבוצה המכילה את כל הדברים בעולם (אחרת נגיע לסתירות כמו פרדוקס ראסל).
תכונות בסיסיות:
* <math>(\cap _{i\in I} A_i)^c = \cup _{i\in I} A_{i}^c </math>
* <math>(\cup _{i\in I} A_i)^c = \cap _{i\in I} A_{i}^c </math>
הוכחה: <math>x\in (\cap _{i\in I} A_i)^c \iff </math>