Definition:Semigroup/Additive

From ProofWiki
Jump to navigation Jump to search

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


Sources