injective function

is called injective if for every if then or, for every if then

a function is one-to-one (or injective) if different elements map to different elements: equivalently, a function is one-to-one if