Heißt nicht die Teilmenge von B, die genau aus denjenigen Elementen von B besteht, auf die tatsächlich ein Wert aus A abgebildet wird, Wertemenge?
Beispiel:
- f: N -> N, f(n) = n+1 (N = Menge der natürlichen Zahlen, inklusive 0).
Hier ist meines Wissens die Wertemenge nur N\{0}, die Menge der natürlichen Zahlen ohne 0, und nicht ganz N, weil das Ergebnis 0 ja nie auftritt.