<videoflash>Zu0tX3VcZbg</videoflash>
===משפט קנטור===
<math>|A|<|P(A)|</math>
<videoflash>H4IwZiUCUvM</videoflash>
===משפט קנטור-שרדר-שרנשטיין===
*אם <math>|A|\leq |B|</math> וגם <math>|B|\leq |A|</math> אזי <math>A\sim B</math>
====למת נקודת השבת====
*תהי פונקציה עולה <math>h:P(A)\to P(A)</math> כלומר המקיימת לכל <math>X_1\subseteq X_2</math> כי <math>h(X_1)\subseteq h(X_2)</math>
*אזי קיימת נק' שבת <math>K\subseteq A</math> כך ש <math>h(K)=K</math>.
<videoflash>csJJBPs9NaI</videoflash>
====הוכחת המשפט====
<videoflash>KlZHXHxkzJk</videoflash>
===נושאים שעוד לא נערכו===
*משפט ק.ש.ב