שינויים
/* משפט (קנטור- שרדר-ברנשטיין) */
אם <math>|B|\leq|A|</math> וגם <math>|A|\leq|B|</math> אז <math>|B|=|A|</math>
לפי קנטור ברנשטיין נקבל ש <math>|\mathbb{Q}|= |\mathbb{N}|</math>
===תרגיל===
חשבו את עוצמת <math>A=\mathbb{Q}\cap [0,1]</math>.
====פתרון====
מצד אחד <math>A\subseteq \mathbb{Q}</math> ולכן <math>|A|\leq \aleph_0</math>.
מצד שני, נגדיר <math>B=\{\frac{1}{n}:n\in \mathbb{N}\}\subseteq A</math>, קל לראות ש- <math>|A|\geq |B|=\aleph_0</math>.
לפי ק.ש.ב. סיימנו.
===תרגיל===
נסמן <math>A=\{1,2,3,4\}</math>.
א. חשבו את עוצמת <math>\{f\in \mathbb{N}^A:f\text{ is 1-1}\}</math>.
ב. חשבו את עוצמת <math>\{f\in \mathbb{N}^A:f\text{ is not 1-1}\}</math>.