A totally ordered monoid—or tomonoid, for short—is a commutative semigroup with identity S equipped with a total order ≤S that is translation in-.
確定! 回上一頁