Monotonic function/Definition

A function on an ordered set which preserves the order.