A function f is said to be injective (or one-to-one), if and only if f(a)=f(b) implies that a=b for all a and b in the domain of f