tomonoid

Noun

 * 1)  A totally-ordered monoid