L'insieme immagine di una funzione è il sottoinsieme del codominio costituito da tutti i valori 𝑦 𝑦 effettivamente raggiunti dalla funzione al variare di 𝑥 𝑥 nel dominio, solitamente indicato con 𝐼 𝑚 ( 𝑓 ) 𝐼 𝑚 ( 𝑓 ) o 𝑓 ( 𝐴 ) 𝑓 ( 𝐴 ) . Rappresenta la proiezione del grafico della funzione sull'asse delle ordinate, coprendo la porzione dell'asse 𝑦 𝑦 per cui esiste almeno una 𝑥 𝑥 corrispondente.
L'insieme immagine di una funzione f : A → R è l'insieme im f = f(A) = {y ∈ R | ∃x ∈ A : f(x) = y} che può essere scritto in modo abbreviato anche così {f(x) | x ∈ A}.
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 codominio o insieme immagine di una relazione , è il sottoinsieme C dell'insieme di arrivo costituito da tutti gli elementi y ∈ B che sono immagini di almeno un elemento ∈ . In simboli = { ∈ / ∧ ∈ } .
Definizione: Dati due insiemi A e B si dice funzione (o anche applicazione) da A a B una legge che ad ogni elemento dell' insieme A associa uno ed un solo elemento di B . "la f porta a in b", e scriveremo in simboli: f(a) = b.