Injective Functions
A Function is injective when different elements of the domain are mapped to different elements of the codomain.
This is also called "One-to-One"
Formally:
or "For all elements in . If of equals of that implies that equals "

Exercise
Show that if is Injective then is Injective. Show an example of where is Injective but is not.