Definition:Semigroup/Additive

Definition
Let $\struct {S, \circ}$ be a semigroup whose operation is addition.

Then $\struct {S, \circ}$ is an additive semigroup.

It is implicit in this definition that the elements of $S$ are numbers, or objects derived from numbers upon which the concept of addition is applicable.

Also see

 * Definition:Multiplicative Semigroup