|
|
|
</math>
הפונקציההפוקציה הראשונה היא חד-חד ערכית, שכן לכל מספר טבעי הצגה ייחודית כמכפלת מספרים ראשוניים (לפי [[המשפט היסודי של האריתמטיקה]]). הפונקציה השנייה היא חד-חד ערכית בהגדרה. אמנם אף לא אחת מהפונקציות היא על, אבל לפי [[משפט קנטור-שרדר-ברנשטיין]], קיומן של שתי פונקציות חד חד ערכיות - אחת מקבוצה א' ל-ב' ואחת מ-ב' ל-א', מבטיח שקיימת פונקציה שלישית שהיא חד-חד ערכית ועל מ-א' ל-ב', ולכן, לפי ההגדרה הקבוצות הן בעלות עוצמה שווה.
==ריבוי עוצמות==
|
