Image directe

concept sous-ensemble de l'espace d'arrivée d'une application, formée de tous les éléments possédants au moins un antécédent par cette application

Aussi : ensemble image