שינויים

2. g חד ערכית- נניח <math>[a]=[b]</math>, צ"ל <math>fg([a])=fg([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>.