L'insieme B in cui la funzione prende i propri valori si chiama un codominio della funzione. L'insieme di tutti i possibili valori f(x), cio`e il sottoinsieme di B di elementi che sono associati ad almeno un elemento del dominio, viene chiamato immagine di f.
immagine in teoria degli insiemi e in algebra, se ƒ: X → Y è una funzione, allora l'immagine di X tramite ƒ (o più semplicemente immagine di ƒ ) è il sottoinsieme di Y, indicato con il simbolo ƒ(X) o anche Im(ƒ ), costituito dagli elementi y per cui esiste almeno un elemento x di X tale che y = ƒ(x).
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.
Il dominio più grande possibile per una funzione viene detto dominio naturale o insieme di definizione. L'insieme Y, detto codominio, è l'insieme di tutte le immagini della funzione f a partire da X.
Il tipo di freccia usato è diverso se si indica la funzione, ovvero la corrispondenza tra i due insiemi o se si indica la corrispondenza tra i singoli elementi degli insiemi. Se y = f ( x ) si dice che è immagine di tramite mentre è la controimmagine di .