A function is injective provided every element of the codomain is the image of at most one element from the domain.