Funzioni user-friendly

Funzione iniettiva

 def.1 Una funzione si dice iniettiva se elementi distinti del dominio hanno immagini distinte
 def. 2 Una funzione si dice iniettiva se ad ogni elemento del codominio corrisponde al più un elemento distinto del dominio;

Nota bene: le due definizioni sono equivalenti
Però il fatto rilevante è quello della definizione 1: se parto da elementi differenti del dominio, applicando la funziona, arrivo a due elementi differenti nel codominio

Funzione suriettiva

Una funzione si dice suriettiva quando ogni elemento del codominio è immagine di almeno un elemento del dominio.

Funzione biunivoca

Una funzione si dice biunivoca quando è sia iniettiva che suriettiva, ovvero a ogni elemento del codominio corrisponde uno e un solo elemento del dominio