additive semigroup

Мат. аддитивная полугруппа