לא הבנתי איך מוכיחים שפונקציה היא על
:פונקציה <math>f:A\rightarrow B</math> הינה על אם לכל איבר בB קיים מקור. בשפה הלוגית התנאי שצריך להוכיח הינו <math>\forall b\in B\exists a\in A : f(a)=b</math> --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== תרגיל 4 שאלה 3 ==
מה זה
im(g) ?