שינויים

'''הגדרה.''' תהי <math>f:A\rightarrow AB</math>, ויהי R יחס שקילויות על A. אומרים כי '''f מוגדרת היטב על <math>A/R</math>''' אם <math>\forall a,b\in A:(a,b)\in R\rightarrow Rightarrow f(a)=f(b)</math> כלומר אם a שקול ל b אזי <math>f(a),=f(b)</math>/ למה זה טוב?כדי שנוכל להגדיר פונקציה על קבוצת המנה <math>g:A/R \to B </math> ע"י <math>[a]_R \mapsto f(a) </math> באופן מפורש <math>g=\{([a],f(a))|a\in RA\}</math>. טענה: g אכן פונקציה