Es seien L {\displaystyle {}L} und M {\displaystyle {}M} Mengen und es sei
eine Abbildung. Dann heißt F {\displaystyle {}F} injektiv, wenn für je zwei verschiedene Elemente x , x ′ ∈ L {\displaystyle {}x,x'\in L} auch F ( x ) {\displaystyle {}F(x)} und F ( x ′ ) {\displaystyle {}F(x')} verschieden sind.
