Continuous monoid