Definition of Monoid