monoid action law