Definition:Additive Semigroup