En funksjon sies å være bijektiv dersom funksjonen definerer en-til-en korrespondanse mellom elementer i og elementer i . Det vil si at det for hvert element i eksisterer ett og kun ett element slik at . For slike funksjoner er det mulig å definere den inverse funksjonen som avbilder på .