monoids given by generators and relations

The construction and the universal property are complete.