. Then is invertible if there exists a function from to such that for all and for all .

If is invertible, then there is exactly one function satisfying this property. The function is called the inverse of , and is usually denoted as , a notation introduced by John Frederick William Herschel in 1813.

The function is invertible if and only if it is bijective. This is because the condition for all implies that is injective,

1.Previous
3.Next