Monoid presentation