\begin{definition}[Definition:Affine Monoid]
An '''affine monoid''' is a monoid that is:
: finitely generated
and:
: isomorphic to a submonoid of a free abelian group $\Z^d$, for some $d \in \Z_{\ge 0}$.
\end{definition}