Full Description
The mapping that takes each variety to its intersection with the variety of bands is a complete retraction of the lattice of varieties of completely regular semigroups onto the lattice of band varieties and so induces a complete congruence for which every class has a greatest member.



