(2) Se uma função tem inversa à direita, então é sobrejetiva.

(3) Se uma função tem inversa à esquerda e tem inversa à direita, então é bijetiva. Além disso, a inversa à esquerda e a inversa à direita coincidem. A essa função, simultaneamente inversa à esquerda e à direita (que, quando existe, está bem determinada) chama-se a inversa da função dada.

(4) Uma função é bijetiva se, e somente se, tem inversa.