cuando una sucesion es monotona
una función entre dos conjuntos formula_2 y formula_3, donde cada conjunto tiene un orden parcial (los dos se denotarán por ≤). En cálculo se habla de funciones entre subconjuntos de los reales, y el orden ≤ no es otro que el orden usual de la recta real, aunque esto no es esencial para la definición.