Affine semigroup of a rational cone (${\sigma }^{\vee }\cap M$)

For a rational cone $\sigma$, the lattice points ${\sigma }^{\vee }\cap M$ form a finitely generated additive monoid.

The Hilbert basis is the unique minimal generating set of the additive monoid of lattice points in a pointed rational cone.