Monoid action

1. REDIRECT Semigroup action

{{Redirect category shell|1=

{{R from subtopic}}

{{R printworthy}}

}}