Numerical semigroup
In mathematics, a numerical semigroup is a special kind of a semigroup. Its underlying set is the set of all nonnegative integers except a finite number of integers, and the binary operation is the operation of addition of integers.