תורת הקבוצות/פונקציות: הבדלים בין גרסאות בדף

<math>a\in A</math> , אז <math>g(f(a)=a</math> ולכן <math>f(a)</math> הוא מקור ל<math>a</math> .{{ש}}

כעת נניח שקיימת פונקציה על <math>f:A\to B</math> . ממשפט 2.3 קיימת <math>g:A\to B</math> כך ש- <math>f\circ g=\mbox{id}_A</math> . נניח ש- <math>g(a_1)=g(a_2)</math> , אז <math>a_1=f(g(a_1))=f(g(a_2))=a_2</math> .}}

{{תורת הקבוצות|מוגבל}}

[[קטגוריה:תורת הקבוצות|פונקציות]]