Ordered algebraic structures