Sejam uma função bijetora de uma variável real, definida para todo conjunto dos números reais e as relações e , definidas por:Pode-se afirmar que