Semigroup ideal