Es decir, la función formula_131 es tal que formula_139 y formula_140, por lo que el rango de formula_131 es un subconjunto propio de su dominio, formula_6.