In der
Mathematik ist das
Urbild ein Begriff im Zusammenhang mit
Funktionen. Das Urbild einer Menge
unter einer Funktion
ist die Menge der
Elemente, die durch
auf Elemente in
abgebildet werden. Ein Element
aus der
Definitionsmenge von
liegt also genau dann im Urbild von
, wenn
in
liegt. Damit ist das Urbild einer
Teilmenge der
Zielmenge von
eine Teilmenge der Definitionsmenge.