 Presentation of a monoid

In algebra, a presentation of a monoid (or a presentation of a semigroup) is a description of a monoid (or a semigroup) in terms of a set of generators and a set of relations on the free monoid (or the free semigroup ) generated by .The monoid is then presented as the quotient of the free monoid (or the free semigroup) by these relations.