Numerical semigroup
= Numerical semigroup
A numerical semigroup is an additive subset of the <nonnegative integers> that contains zero and has finite complement. Positive generators with <greatest common divisor> one generate such a semigroup; the missing nonnegative integers are its gaps.