# Definition:Divisor-Finite Monoid

## Definition

Let $(M, *)$ be a monoid.

Then $M$ is divisor-finite if and only if for all $m \in M$ the set:

$\{(x, y) \in M^2 : x*y = m \}$

is finite.