is clear that then is a (total) function if and only if is surjective. In that case, meaning if is bijective, may be called the inverse function of

For example, the function has the inverse function

However, the function has the inverse relation which is not a function, being multi-valued.

Composition with relation