Por tanto la monotonicidad no tiene por qué incluirse explícitamente en la definición.