Partially commutative monoid A monoid for which the operation is commutative for some, but not all elements is a trace monoid; trace monoids commonly occur in the theory of concurrent computation.
Partially commutative monoid A monoid for which the operation is commutative for some but not all elements is a trace monoid; trace monoids commonly occur in the theory of concurrent computation.