'''ראשית, אתה לא מגדיר פונ' הפיכה לפונ' שהיא לא חח"ע ועל, אתה מגדיר פונקציה הפיכה בין קבוצת פונקציות כלשהן לקבוצה אחרת, במקרה הזה-למכפלה קרטזית של הטווח. הפונקציות {f:A->B} הם המקורות שלך, הם לא בהכרח חחע/על, עליהם נפעיל פונקציה חחע ועל. כלומר ההתאמה בין אוסף הפונקציות {f:A->B} לטווח שבחרנו היא הפיכה, לא בין A לבינו.
'''במקרה הזה המפתח הוא ש-A ו- B הן סופיות. לכן ניתן למספר את אייברי A: <math>\ \ a_1,...,a_m</math> ולפי סדר זה להחשיב את סדר התמונות (שהן ב-B):
'''<math>f(a_1)=b_{i_1},...,f(a_m)=b_{i_m}</math> (לא נקרא להם <math>b_1,...,b_m</math> כי אלו חלק מאיברי B. אנחנו פשוט רוצים לבחור m מתוכם, אבל לא בהכרח את ה-m הראשונים).