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