Por ejemplo, función que mapea un número natural en su sucesor es claramente monótona con respecto al orden natural.