Lukas' Notes

Definition

Monoid

A Monoid is a semigroup with a neutral element: