Poiché la funzione è iniettiva ad elementi distinti di A corrispondono elementi distinti di B, ma la funzione è anche suriettiva quindi non esiste alcun elemento di B che non sia immagine di un elemento di A. Se gli insiemi A, B hanno un numero finito di elementi  allora essi devono avere di anche avere lo stesso numero di elementi.

 

La funzione è suriettiva perché non esiste un  elemento di B che non sia immagine di qualche elemento di A. Non è invece iniettiva.	La funzione è iniettiva perché ad elementi distinti di A corrispondono elementi distinti di B. Non è invece suriettiva.	La funzione è sia iniettiva che suriettiva. E' una corrispondenza biunivoca.

Esempio
Nell'insieme degli alunni della tua classe, considera la funzione che associa ad ogni alunno il suo nome (e cognome) sul registro del tuo insegnante di matematica.
Ad ogni studente corrisponde un solo nome. Viceversa ad ogni nome corrisponde un solo studente.
La funzione è una corrispondenza biunivoca.