free partially commutative monoid

1. REDIRECT Trace monoid

{{Redirect category shell|1=

{{R from synonym}}

{{R printworthy}}

}}