Injective

Definition

$\forall a,b\in X:f(a)=f(b)\Rightarrow a=b$

Maps distinct elements of its Domain to distinct elements

Facts

Injective function is an example of an Monomorphism