Eine Abbildung ordnet jedem Element ihrer sogenannten Urbildmenge genau ein Element ihrer Zielmenge zu. Die Menge dieser zugeordneten Elemente in der Zielmenge nennt man das Bild / die Bildmenge der Abbildung. Die Abbildung heißt ''surjektiv'' dann und nur dann, wenn diese Bildmenge die gesamte Zielmenge umfasst.
{{K|Mathematik}} so, dass alle Elemente der Zielmenge als Werte vorkommen