This is an old revision of the document!
Function
Non-strict partial order
Monotonically increasing function