Partially Ordered Algebraic Systems