SEMIGROUP

Definition of SEMIGROUP