Soient
,
deux ensembles et
une relation entre
et
. Représenter graphiquement
, est-ce une application ?
Pour tout , on note
l'élément de
qui lui est associé. On dit que
est l'image de
par
et
un antécédent de
par
.