Functions

A function is a relation which is everywhere defined and not one-many.

Inverse

For a function to have its inverse relation be also a function, we need:

• is onto
• is not many-one (in other words, must be one-one)

The above statement is true for all unrestricted function that has an inverse :