reduction (semigroup)