Definizioni

Dati due insiemi `A` e `B` non vuoti, diciamo che è data una funzione `f` di `A` in `B` se è assegnata una legge che ad ogni elemento dell'insieme `A` fa corrispondere uno ed un solo elemento dell'insieme `B`. In simboli: `f : A -> B`.
L'insieme `A` si dice Dominio della funzione, l'insieme `B` si dice Codominio.

Ad ogni elemento `x` dell'insieme `A`, la funzione `f` fa corrispondere uno e un solo elemento `f(x)` detto immagine di `x` mediante `f`.
In simboli : `x |-> f(x)`.
L'elemento `x`, tale che `y = f(x)`, si dice controimmagine di `f(x)` in `A`.

Legenda
`A` = dominio della funzione
`B` = codominio della funzione
`I` = intervallo in cui la funzione può essere invertita.