Die Abbildung
ist injektiv, wenn für je zwei verschiedene Elemente x , y ∈ L {\displaystyle {}x,y\in L} auch f ( x ) {\displaystyle {}f(x)} und f ( y ) {\displaystyle {}f(y)} verschieden sind.