Sejam as funções e , de em , definidas por e . A função será a inversa de se, e somente se,