Ordered Algebraic Structures