„Függvények relációalgebrája” változatai közötti eltérés

{{bővebben|Injekció}}

Azt mondjuk, hogy az ''f'' :''A'' <math>\rightarrow</math> ''B'' függvény '''injektív''', ha különbözőkhöz különbözőket rendel, azaz

 

:<math>(\forall x_1,x_2\in A)(f(x_1)=f(x_2)\Rightarrow x_1=x_2)</math>