Ordered structure/Definition

Algebraic structure which possesses an order relation compatible with the algebraic operations.