Suppose that f: X → Y is a linear function with kernel f = {0}. Then f is one-to-one, that is,
f(x1) = f(x2) ⇒ x1 = x2
A linear function f: X → Y that has an inverse f-1: Y → X is said to be nonsingular. A function that does not have an inverse is called singular.