שינויים
/* פונקציה מצומצמת */
'''אזהרה!''' ההוכחה מתבססת על אקסיומת הבחירה (נפגש איתה בהמשך)
==== תרגיל ====
תהיינה <math>f:A\to B, g:B\to C</math> פונקציות כך ש <math>g\circ f</math> חח"ע. הוכיחו כי <math>g|_{Img(f)}</math> חח"ע.
הוכחה: אם מצמצם את הטווח והתחום של הפונקציות, <math>f':A\to Img(f), g|_{Img(f)}:Img(f):\to C</math>, נקבל כי <math>g\circ f=g|_{Img(f)}\circ f'</math> חח"ע ובנוסף <math>f'</math> חח"ע ועל. מכאן ש <math>g|_{Img(f)}=g\circ f\circ f'^{-1}</math> חח"ע כהרכבה של חח"ע.
