Funzione

$f : A \to B$ , dove $A$ è il dominio e $B$ è il codominio.

Dominio

Il dominio è l’insieme di partenza di $f$ , indicato con $Do m (f)$ .

Il codominio è l’insieme di arrivo di $f$ , indicato con $C o d (f)$ .

Warning

$Do m (f)$ e $C o d (f)$ non sono necessariamente due insiemi diversi.

$y = f (x)$ è l’immagine di $x$ secondo $f$ . $\forall x \in A \exists! f (x)$

L’insieme delle immagini è $I m (f) = {y \in B : y = f (x), x \in A} = {f (x), x \in A}$

Le controimmagini di $y$ sono tutti gli $x \in A$ che hanno immagine $y$ . $f^{- 1} (y) = {x \in A : f (x) = y}$