Numerical semigroup
= Numerical semigroup
{wiki=Numerical_semigroup}
A **numerical semigroup** is a special type of subset of the non-negative integers. Specifically, it is a subgroup of the non-negative integers under addition that is closed under addition and contains the identity element 0. More formally, a numerical semigroup is defined as follows: 1. It is a subset \\( S \\) of the non-negative integers \\( \\mathbb\{N\}_0 = \\\{0, 1, 2, \\ldots\\\} \\).