Funzione suriettiva
Una funzione da A a B si dice suriettiva quando ogni elemento di B è immagine di almeno un elemento di A.
In una funzione suriettiva il codominio coincide con l’insieme d’arrivo.
Funzione iniettiva
Una funzione di A a B si dice iniettiva se ogni elemento di B è immagine di al più un elemento di A.
Se una funzione è iniettiva non accade mai che a due elementi di A corrisponda uno stesso elemento di B.
Funzione biiettiva (o biunivoca)
Una funzione da A a B è biiettiva quando è sia iniettiva sia suriettiva.
Una funzione biiettiva viene anche chiamata biiezione o corrispondenza biunivoca fra A e B. In simboli:
f : A ↔ B.
In una funzione biiettiva c’è una corrispondenza “uno a uno” fra gli elementi di A e quelli di B. Ogni elemento di A è l’immagine di uno e un solo elemento di B e viceversa.
