n − semigroup