Ordered algebraic structures.