Search results for: 'algebraic definition of monoid'