תורת הקבוצות/עוצמות: הבדלים בין גרסאות בדף

::כעת, נבנה את הפונקציה החד-חד-ערכית ועל <math>h</math> מ-<math>A</math> ל-<math>B</math>: עבור איברי <math>A</math> ששייכים לסדרת קצה-<math>A</math>, נגדיר את <math>h(a)</math> כ-<math>f(a) </math> (כלומר, נלך צעד אחד ימינה בסדרה המתאימה לאיבר). עבור איברי <math>A</math> ששייכים לסדרת קצה-<math>B</math>, נגדיר את <math>h(a)</math> כ-<math>g^{-1}(a)</math> (כלומר, נלך צעד אחד שמאלה בסדרה המתאימה לאיבר), ובאותו אופן נגדיר גם את <math>h</math> עבור איברי <math>A</math> ששייכים לסדרה ללא קצה. קל לראות שהפונקציה <math>h</math> היא אכן חד-חד-ערכית ועל.