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