Die Abbildung von den natürlichen Zahlen in die natürlichen Zahlen, die jeder Zahl die nachfolgende zuordnet, ist nicht ''surjektiv,'' weil die kleinste natürliche Zahl keinen Vorgängerin besitzt. Jedoch ist die entsprechende Abbildung von den ganzen Zahlen in die ganzen Zahlen ''surjektiv,'' weil hier wirklich jede Zahl eine Vorgängerin hat.
{{K|Mathematik}} so, dass alle Elemente der Zielmenge als Werte vorkommen