semigroup ideal