If function is a bijection, then for each there’s only one (and the counter for each there’s only one ), the function is called inverse function and it’s defined by .

diagram of a function inverse