A function is injective (an injection or one-to-one) if every element of the codomain is the image of at most one element from the domain.