Esto es una categoría porque la composición de dos funciones crecientes es asimismo creciente.