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