שינויים
/* המשך פונקציות */
'''פתרון.'''
נגדיר <math>A=\bigcup_{y\in im f}x_y</math>. כיוון שבחרנו מקור לכל תמונה ובחרנו מקור אחד אזי <math>f|_A</math> חח"ע עם אותו טווח של <math>f</math>
אזהרה! ההוכחה מתבססת על אקסיומת הבחירה (נפגש איתה בהמשך)
'''הגדרה.''' תהי <math>f:A\rightarrow B</math>, ויהי R יחס שקילויות על A. אומרים כי '''f מוגדרת היטב על <math>A/R</math>''' אם <math>\forall a,b\in A:(a,b)\in R\Rightarrow f(a)=f(b)</math>