Definition:Multiplicative Semigroup