< 1 >
Inverse function
A one-to-one function f with domain A and range B has an inverse function that is defined by f −1 with domain B and range A, so
f − 1(x) = x ⇔ f (x) = y
for any y in B.
Explanation
If f were not one-to-one, then f −1 would not be uniquely defined.