A [[Function|function]] $f: A\rightarrow B$ is an **injection** if $f(x_1)=f(x_2) \iff x_1=x_2$ [[‡ Monomorphism]]