Definition:Finite Monoid

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