Monoid  the class of all monoids
Description
A monoid is a set with a multiplicative operation on it and an identity element. A typical monoid is the set of monomials in a polynomial ring, which we consider to be created before the polynomial ring is created.
Types of monoid :
Functions and methods returning a monoid :
Methods that use a monoid :

options(Monoid)  get values used for optional arguments

use(Monoid), see use(Ring)  install ring variables and ring operations