Sea "f" una función real biyectiva cuyo dominio sea el conjunto "I", es decir, creciente o decreciente en el conjunto "I", y cuya imagen sea el conjunto "J".