One-to-one function

Definition

A function in which each output value corresponds to exactly one input value; equivalently, if f(a) = f(b), then a = b. A necessary condition for a function to have an inverse.