שינויים

:{{התנגשות}} הוכחה: תהי קבוצה X כך ש-<math>X \in \mathcal{P}(A)</math>. לפיכך <math>X \in \left\{S|S \subseteq A\right\}</math>. מתקיים <math>A \subseteq B</math> ולכן <math>\left\{S|S \subseteq A\right\} \subseteq \left\{S|S \subseteq B\right\} \Rightarrow \left\{X\right\} \subseteq \left\{S|S \subseteq B\right\} = \mathcal{P}(B)</math> ולבסוף: <math>X \in \mathcal{P}(B)</math>. מכאן נובעת הטענה המתבקשת, מש"ל. [[משתמש:אור שחף|אור שחף]] 12:10, 20 ביולי 2010 (UTC)

==תרגיל 1==