06F25 - Order, lattices, ordered algebraic structures :: Ordered structures :: Ordered rings, algebras, modules