Zu einer Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} heißt
das Urbild von T {\displaystyle {}T} unter F {\displaystyle {}F} .