Complete monoid