Alors Æ '-LRB- g -LRB- x -RRB- -RRB- = x pour tous x in -LRB- 0, â -RRB- ; c'est-à-dire, g est un droit inverse à Æ'.
C'est habituellement écrit f -LRB- x -RRB- = y / O. La fonction inverse fait l'inverse. Supposons g est la fonction inverse de f, puis g -LRB- y -RRB- = x. Ou sinon, f -LRB- g -LRB- x -RRB- -RRB- = x.