Sei eine Funktion und eine Teilmenge von . Dann heißt die Menge

das Urbild von unter .