הגדרה 4.4 · יחידה 4 · בדידה
פונקציה על
Surjective Function
ניסוח המשפט
תנאים
מסקנה (על)
שקול ל: (התמונה ממלאת את כל הטווח)
English statement
דוגמה פתורה
הוכח ש- היא על.
- ניקח שרירותי ונפתור , ומקבלים .
- , אז הקלט קיים בתחום. ✓
- אימות. . מצאנו מקור לכל , ולכן על.