Ideal of a semigroup