:: אם <math>f : A \to B</math> אז A היא תחום, B - טווח. תמונת הפונקציה, C, היא תת-קבוצה של B כך ש- <math>C =\{{f(a) | \forall a\in A\}}</math>. --[[משתמש:Grisha|Grisha]] 10:20, 22 בדצמבר 2011 (IST)
אז בעצם לא חייב שלכל איבר בטווח יהיה מקור, כן?
:: לא. אחרת כל פונקציות היו אוטומטית "על". --[[משתמש:Grisha|Grisha]] 01:09, 23 בדצמבר 2011 (IST)