Definition:Finite Monoid

From ProofWiki
Jump to navigation Jump to search

Definition

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