Injektiv funksjon

En funksjon $\phi :A\to B$ er injektiv, hvis forskjellige elementer i A gir forskjellige funksjonsverdier i B. Mer eksakt er φ injektiv når $\forall a,b\in A:a\neq b\Rightarrow \phi (a)\neq \phi (b)$ . Det betyr altså, at hver eneste funksjonsverdi y har maksimalt én tilhørende x-verdi, $\phi (x)=y$ . Begrepene én-entydig, 1-1 eller en-til-en brukes også.