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 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 .
L'immagine di una funzione f sar`a indicata come im(f) oppure f(A) dove A `e il dominio. In termini di insiemi, per f : A → B, im(f) = {y ∈ B : y = f(x), x ∈ A}.
L'insieme immagine di una funzione f : A → è l'insieme im f = f(A) = {y ∈ | ∃x ∈ A : f(x) = y} che può essere scritto in modo abbreviato anche così {f(x) | x ∈ A}.
Che cosa si intende con il termine definizione dell'immagine?
Viene detta definizione il numero di punti (pixel) che costituiscono l'immagine, cioè la sua «dimensione informatica » (il numero di colonne dell'immagine che moltiplica il suo numero di linee). Un'immagine con 640 pixel in larghezza e 480 in altezza sarà definita con 640 pixel per 480, siglata 640x480.