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