Original: Stated otherwise, a function is invertible if and only if its inverse relation is a function on the range Y, in which case the inverse relation is the inverse function.
Simplified: An inverse function is a concept of mathematics.