Naturally ordered semiring