שינויים
/* פונקציות המכבדות יחס שקילות */
2. g חד ערכית- נניח <math>[a]=[b]</math>, צ"ל <math>g([a])=g([b])</math>. מהנתון ש <math>[a]=[b]</math> נובע ש <math>(a,b)\in R</math>, ולכן, לפי הגדרת f כמוגדרת היטב על קבוצת המנה, מתקיים <math>f(a)=f(b)</math>, ולפי הגדרת g מתקיים <math>g([a])=f(a)=f(b)=g([b])</math>.
==== דוגמא ====
נגדיר על השלמים יחס שקילות ע"י x~y אמ"מ y=x or y=-x.
בדקו מי מהבאות היא פונקציה מקבוצת המנה לשלמים:
# <math>\{([n]_{~},n): n\in \mathbb{Z} \}</math>
# <math>\{([n]_{~},n^2): n\in \mathbb{Z} \}</math>
'''דוגמא לחידוד'''
