Es seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ Mengen und es sei

${\displaystyle F\colon L\longrightarrow M,\,x\longmapsto F(x),}$

eine Abbildung. Dann heißt ${\displaystyle {}F}$ injektiv, wenn für je zwei verschiedene Elemente ${\displaystyle {}x,x'\in L}$ auch ${\displaystyle {}F(x)}$ und ${\displaystyle {}F(x')}$ verschieden sind.