Funkcja wzajemnie jednoznaczna (bijekcja) to funkcja będąca jednocześnie funkcją różnowartościową i „na”. Innymi słowy, bijekcja to funkcja (relacja) taka, że każdemu elementowi obrazu odpowiada dokładnie jeden element dziedziny. Bijekcja odgrywa ważną rolę teorii mnogości.