Injektiv funksjon

En funksjon ${\displaystyle \phi :A\to B}$ er injektiv, hvis forskjellige elementer i A gir forskjellige funksjonsverdier i B. Mer eksakt er φ injektiv når ${\displaystyle \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, ${\displaystyle \phi (x)=y}$. Begrepene én-entydig, 1-1 eller en-til-en brukes også.

• Surjektiv
• Bijektiv

• (no) «Injektiv funksjon» i Store norske leksikon