Menge aller Objekte, die durch die betrachtete Abbildung auf die gegebene Menge abgebildet werden.

Genauer: Ist f : A → B eine Abbildung und N ⊆ B, so heißt die Menge \begin{eqnarray}{f}^{-1}(N):=\{a\in A:f(a)\in N\}\end{eqnarray} das Urbild der Menge N unter der Abbildung f.