reduction (semigroup)
reduction (semigroup)