Injektivt refererer til en type funksjon eller avbildning der hvert element i domenet maps til et unikt element i koden, uten gjentakelser. Dette betyr at hvis to ulike elementer i domenet maps til samme element i koden, så er funksjonen ikke injektiv.