Ordered structure

In mathematics, an ordered structure is an algebraic structure which possesses an order relation compatible with the algebraic operations.

Examples include: