A function f is injective [or one-to-one] if, whenever f(a) = f(b), then a must equal b. [Strictly] monotonic functions are injective, though of course there are other types of function which are injective but not monotonic.