naturally ordered semiring