Varieties and pseudovarieties of semigroups Semigroups mathematics