L
'image réciproque d'une
partie B d'un
ensemble Y par une
application f :
X →
Y est le sous-ensemble de
X constitué des éléments dont l'image par
f appartient à
B :
Dans le cas particulier où B se réduit à un
singleton, l'image réciproque du singleton par la fonction
f est appelé
ensemble des antécédents de
y par
f.