Definition:Finite Monoid

Definition
A finite monoid is a monoid whose underlying set is finite.