On appelle image d'une application f (d'un ensemble A vers un ensemble B) l'image directe par f de l'ensemble de départ A. C'est donc le sous-ensemble de B contenant les images de tous les éléments de A, et uniquement ces images. On le note Im(f). . Exemple : « L'image de la fonction sinus est le segment [–1, 1]. » Une application est surjective si et seulement si son image coïncide avec son ensemble d'arrivée.
