Injectivity¶

In set theory, injectivity is a property of a function. Given a function $f : A \rightarrow B$, if when supplied with every input in $A$ $f$ produces every possible output in $B$ then $f$ is injective.