Main Subjects = 06-XX Order, lattices, ordered algebraic structures