שינויים
/* \aleph_0 \cdot \aleph_0=\aleph_0 */
לפי הגדרת f רואים כי <math>(\frac{n}{2^k},k)</math> מקור ל n. וסיימנו.
==== תרגיל ====
הוכיחו כי לכל <math>0<n</math> טבעי מתקיים כי <math>\mathbb{N}^n=\mathbb{N}\times\mathbb{N}\times \cdots \times \mathbb{N} </math> מעוצמה <math>\aleph_0</math>
פתרון: באינדוקציה. בסיס: ברור. צעד: <math>|\mathbb{N}^{n+1}}=|\mathbb{N}^n\times \mathbb{N}|=|\mathbb{N}\times \mathbb{N}|=|\mathbb{N}|</math>
==משפט קנטור- שרדר-ברנשטיין==
