Acest articol sau această secțiune are bibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vederea susținerii bibliografice a afirmațiilor pe care le conține.
O funcție bijectivă, f: X → Y, unde X = {1, 2, 3, 4} și Y = {A, B, C, D}. De exemplu, f(1) = D.
În matematică, o corespondență biunivocă, bijecție, sau funcție bijectivă, este o funcție între elementele a două mulțimi, unde fiecare element al celei dintâi se regăsește într-o relație de corespondență cu un singur element din cea de-a doua. În termeni matematici, o funcție bijectivă este o funcție injectivă și surjectivă.
Fie X, Y două mulțimi și funcția considerată. Din definiție, nu există elemente fără pereche în X, și fiecare element în X are un corespondent unic în Y. În consecință, există o funcție numită funcție inversă, care asociază fiecărui element din Y unul și numai unul din X.
Dacă A, B finite, atunci existența unei bijecții este o consecință a faptului că au același număr de elemente. Pentru mulțimi infinite între care există o funcție bijectivă, atunci se spune că au același număr cardinal, ori că sunt echipotente. În cazul în care A și B coincid, funcția bijectivă se numește permutare.
