Monoid varieties and semigroup theory form a vibrant subfield of algebra that studies classes of algebraic structures defined by equational identities. Monoids, which are semigroups with an identity ...