A function between posets and is monotone if, for all elements , of , ≤ (in ) implies () ≤ () (in ). Another name for this property is order-preserving. In analysis, in the presence of total orders, such functions are often called monotonically increasing, but this is not a very convenient description when dealing with non-total orders. The dual notion is called antitone or order reversing.