![[MONOiD]](monoid.png)
Monoids and semigroups are domains. Thus all set theoretic functions
described in chapter "Domains" should be applicable to monoids.
However, no generic method is installed yet. Of particular interest are
the functions Size and Elements which will have special methods
depending on the kind of monoid being dealt with.