Una funzione definita in un insieme
si dice:
- iniettiva se ad elementi distinti di
corrispondono immagini distinte nell’insieme immagine
ovvero se vale la relazione
;
- suriettiva se per ogni elemento
appartenente all’insieme immagine
esiste almeno un elemento
dell’insieme
tale che
;
- biunivoca se è sia iniettiva che suriettiva;
- invertibile se per ogni elemento
appartenente all’insieme immagine
esiste uno ed uno solo
dell’insieme
tale che
.
Una funzione biunivoca è invertibile.