Describes a context that represents mathematical semigroup.
The type of elements of the semigroup.
The associative binary addition operation on elements of type Number.