Es seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ Mengen und es sei

${\displaystyle F\colon L\longrightarrow M}$

eine Abbildung. Zu einer Teilmenge ${\displaystyle {}T\subseteq M}$ heißt

${\displaystyle F^{-1}(T)={\left\{x\in L\mid F(x)\in T\right\}}}$

das Urbild von ${\displaystyle {}T}$ unter ${\displaystyle {}F}$. Für eine einelementige Teilmenge ${\displaystyle {}T=\{y\}}$ heißt

${\displaystyle F^{-1}(\{y\})}$

das Urbild von ${\displaystyle {}y}$.