mały|Bijekcja umożliwia jednoczesne sparowanie wszystkich elementów odwzorowywanych zbiorów mały|Diagram przemienny ilustrujący bijekcje jako funkcje odwracalne
Funkcja wzajemnie jednoznaczna, bijekcja – wzajemnie jednoznaczna odpowiedniość między elementami dwóch zbiorów, czyli funkcja będąca jednocześnie injekcją i surjekcją (funkcją różnowartościową i funkcją „na”). Równoważnie: funkcja jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja do niej odwrotna – również i ona jest bijekcją; przy bijekcji obraz i przeciwobraz każdego singletonu również jest singletonem.
Bijekcje pozwalają zdefiniować rozmaite relacje równoważności między obiektami, m.in.: równoliczności zbiorów w kombinatoryce i teorii mnogościi, izomorfizmu struktur w algebrze abstrakcyjnej i teorii kategorii; homeomorfizmu, izometrii i dyfeomorfizmu przestrzeni w topologii.
Duże znaczenie odgrywają też bijekcje endofunkcyjne, tj. przekształcające zbiór w siebie (f:X→X). Bywają nazywane permutacjami – zwłaszcza dla zbiorów skończonych – i tworzą struktury znane jako grupy symetryczne;