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