Subsection I.4.1.2

Semigroups and monoids