A function f: X → Y is injective (or one-to-one) if, for all a and b in X, f (a) = f (b) implies that a = b. In this case we say that f is a one-to-one mapping from X to Y.