In this paper we generalize the class of completely regular semigroups (unions of groups) to the class of local monoids, that is the class of all semigroups where the local subsemigroups \( aSa \) are local submonoids. The sublattice of this variety \( (\mathbf{L}(\caL(\cam)) \) covers another lattice isomorphic to the lattice of all bands \( ([x2 = x]). \) Every bundvariety \( \cau \) has as image the variety \( F - \cau, \) which is the class of all semigroups, where \( F \) is a \( \cau \)-congruence \( (a F b \Leftrightarrow aSa = bSb). \) It is shown how one can find the laws for \( F - \cau \) for a given bandvariety \( \cau \). The laws for \( F - \cab \) are given and it is shown that \( F - \car\cab - \caL(\cag) \caL(\cav) := \{S : aSa \in \cav \forall a \in S\}). \)

In this paper we generalize the class of completely regular semigroups (unions of groups) to the class of local monoids, that is the class of all semigroups where the local subsemigroups \( aSa \) are local submonoids. The sublattice of this variety \( (\mathbf{L}(\caL(\cam)) \) covers another lattice isomorphic to the lattice of all bands \( ([x2 = x]). \) Every bundvariety \( \cau \) has as image the variety \( F - \cau, \) which is the class of all semigroups, where \( F \) is a \( \cau \)-congruence \( (a F b \Leftrightarrow aSa = bSb). \) It is shown how one can find the laws for \( F - \cau \) for a given bandvariety \( \cau \). The laws for \( F - \cab \) are given and it is shown that \( F - \car\cab - \caL(\cag) \caL(\cav) := \{S : aSa \in \cav \forall a \in S\}). \)