Surjektivität heisst, das die Bildmenge einer Funktion mit der ganzen Zielmenge übereinstimmt. D.h. es muss gelten für die Funktion f : |R —> |R^2 , f(x) := (x, x^2),
dass f(|R) = |R^2 ist.
Es ist aber
f(|R) = {f(x) : x ∈ |R} = {(x, x^2) : x ∈ |R} ≠ |R^2, da z.B. für a < 0, dann (x, a) ∈ |R^2 ist, aber nicht in f(|R), denn a < 0 ≤ x^2 für alle x ∈ |R.
Damit kann f nicht surjektiv sein.