שינויים
/* תרגיל */
2. נכון כי ניתן להציג A כאיחוד זר <math>A=A\backslash B \cup B</math>
ולכן <math>|A|=|A\backslash B| + |B|</math>. אם <math>|A\backslash B|<|A|</math> נקבל סתירה
=== תרגיל ===
1. מה עוצמת <math>\mathbb{N}^\mathbb{N}</math>
פתרון: <math>\aleph_0^\aleph_0=2^\aleph_0</math>
2. מה עוצמת <math>X=\{f\in \mathbb{N}^\mathbb{N}:f(1)\leq f(2)\}</math>
פתרון: לכל היותר <math>\mathbb{N}^\mathbb{N}</math> ולכן הפחות <math>\mathbb{N}^\mathbb{N}</math>
כי לכל <math>g\in \{\mathbb{N}^(\mathbb{N}\setminus \{1,2\})\}</math> נתאים <math>f\in X</math> ע"י <math>f(1)=f(2)=1 </math> ועבור <math>x\neq 1,2</math> נגדיר <math>f(x)=g(x)</math> ולכן <math>|\mathbb{N}^(\mathbb{N}\setminus \{1,2\})|\leq|X|\leq |\mathbb{N}^\mathbb{N}|</math> ולפי ק.ש.ב יש שיווון
=== תרגיל ===
