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