Numerical monoid