Definition:Divisor-Finite Monoid

Definition
Let $\struct {M, *}$ be a monoid.

Then $M$ is divisor-finite for all $m \in M$ the set:
 * $\set {\tuple {x, y} \in M^2 : x*y = m}$

is finite.

Also see

 * Definition:Convolution of Mappings on Divisor-Finite Monoid
 * Definition:Big Monoid Ring