Injektiv funksjon
En funksjon er injektiv, hvis forskjellige elementer i A gir forskjellige funksjonsverdier i B. Mer eksakt er φ injektiv når . Det betyr altså, at hver eneste funksjonsverdi y har maksimalt én tilhørende x-verdi, . Begrepene én-entydig, 1-1 eller en-til-en brukes også.