La función formula_4 es monótona si y sólo si formula_5 implica formula_6 (es decir, la función es creciente), o bien formula_5 implica formula_8 (es decir, la función es decreciente).