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 .