Una funzione $f$ è detta iniettiva se non da mai lo stesso risultato per due punti di partenza diversi.
$$ f : X \rightarrow Y $$
$$ \forall a,b \in X, f(a)=f(b) \Rightarrow a=b $$