\begin{definition}[Definition:Divisor-Finite Monoid]
Let $(M, *)$ be a monoid.
Then $M$ is '''divisor-finite''' {{iff}} for all $m \in M$ the set:
:$\{(x, y) \in M^2 : x*y = m \}$
is finite.
\end{definition}