שינויים
/* תרגיל 6 שאלה 3 */
'''ראשית, אתה לא מגדיר פונ' הפיכה לפונ' שהיא לא חח"ע ועל, אתה מגדיר פונקציה הפיכה בין קבוצת פונקציות כלשהן לקבוצה אחרת, במקרה הזה-למכפלה קרטזית של הטווח. הפונקציות {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 הראשונים).
'''כעת, נשלח כל פונקציה מA לB (את הפונקציה עצמה. f היא מקור, אנחנו לא מגדירים f:A->B, אלא מגדירים לאן f (חחע או לא/על או לא) נישלחת ע"י פונ' g שהיא חח"ע ועל) ל-m-יית התמונות של <math>(a_1,...,a_m)</math>. מכיוון שתמונת <math>a_i</math> מוגדרת באופן אחד ויחיד, ומכיוון שכל פונקציה מגדירה m-יית תמונות באופן אחד ויחיד, ההתאמה ל <math>B^m</math> תהיה חח"ע ועל:
