monoid

GroupLaws