A function f is one-to-one or injective if and only if f(x)=f(y) implies x=y for all x and y in the domain of f.
A function that is one-to-one is an injection.
