Immagine (matematica)

In matematica, l'immagine di un sottoinsieme del dominio di una funzione è l'insieme degli elementi ottenuti applicando la funzione a tale sottoinsieme. Si tratta quindi di un sottoinsieme del codominio della funzione. L'immagine degli elementi dell'intero dominio è anche detta immagine della funzione, e se la funzione è suriettiva essa coincide col codominio.

Talvolta la nozione di immagine è data per il singolo elemento del dominio. In tal caso, l'insieme contenente le immagini di un sottinsieme del dominio viene chiamato, per l'appunto, insieme delle immagini.^[1][2]