Funzione reale di una variabile reale: è una funzione f: x ∈ A→ y = f(x) ∈ B in cui

dominio e codominio sono insiemi di numeri reali, cioè: A ⊆ R e f(A) ⊆ R.

L'insieme "di partenza" della funzione viene detto dominio mentre quello "d'arrivo"
codominio; gli elementi del codominio che sono i corrispondenti degli elementi del
dominio sono detti immagini.

In matematica, la controimmagine di un sottoinsieme del codominio di una funzione,

anche detta immagine inversa, è l'insieme degli elementi del dominio che la
funzione associa a tale sottoinsieme. Si tratta quindi di un sottoinsieme del
dominio della funzione