נגדיר פונצקיה <math>F:A\to B</math> ע"י <math>f\mapsto (f(1),f(2),f(3))</math>. הוכיחו/השתכנעו/נסביר <math>F</math> חח"ע ועל
===תרגיל ===
הוכיחו כי <math>|A\times A| = |A^{\{1,2\}}|</math>
פתרון: הפונקציה <math>F:A^{\{1,2\}}\to A\times A</math> המוגדרת <math>f\mapsto (f(1),f(2))</math> הפיכה.
=== תרגיל ===
הוכיחו כי אם <math>|A|=|B|</math> אזי <math>|P(A)|=|P(B)|</math>
פתרון: מניחים כי קיימת <math>f:A\to B</math> הפיכה. נגדיר <math>g:P(A)\to P(B)</math> ע"י <math>A'\mapsto f[A']</math> הפיכה.
== עוצמת הטבעיים ==