Corrispondenze biunivoche 

Dati due insiemi A, B non vuoti si chiama corrispondenza biunivoca (anche biezione o funzione biettiva) quella funzione (o applicazione) di A in B tale che ad ogni elemento di xÎA  corrisponde uno ed un solo elemento yÎB e viceversa ogni elemento  yÎB è immagine di un solo elemento xÎA

In sostanza una funzione f da A in B viene detta corrispondenza biunivoca, o funzione biettiva (il link punta alla teoria degli insiemi) se è sia iniettiva che suriettiva.