כדי להראות שפונקציה היא על אתה צריך להוכיח שלכל Y קיים איבר X שהוא המקור שלו.
למשל נקח כדוגמה את הפונקציה F:Q->Q המוגדרת
f(x)=2xיהי y איבר בטווח. נראה שקיים לו מקור בתחום:
ע"פ הגדרת הפונקציה המקור של y=2x ולכן המקור של y הוא x/2
מקווה שהדוגמא נכונה אני חלוד