Ordered monoid

Redirect to:

  • Ordered semigroup