MR Section 2A: Order, Lattices, Ordered Algebraic Structures, General Algebraic Systems MSC (06, 08)