Considérons une application qui, à un élément a de l' ensemble de départ, associe un élément b de l' ensemble d' arrivée. On dit alors que b est une image de a, ou que a est un antécédent de b.
Voir : application, antécédent.