::ברור לי גם שעליי להוסיף להוכחה את העובדה שב- <math>P(B)</math> יש איבר שאין אותו ב- <math>P(A)</math>. וסליחה על השאלה הקצת טיפשית, מה עליי להוסיף בכדי שהדבר ייחשב להוכחה שלמה?
:{{התנגשות}} הוכחה: תהי קבוצה X כך ש-<math>X \in \mathcal{P}(A)</math>. לפיכך <math>\left\{X\right\} \subseteq \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==