例文For instance, a "'naturally ordered semiring "'( sometimes called a "'dioid "') is a semiring where the commutative monoid induced by the addition operator is naturally ordered.
