שינויים
/* קבוצת החזקה */
'''הגדרה''': תהי קבוצה <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>.
===תרגיל===