A Relation for Closure Operations on a Semigroup
Completely regular semigroups are unions of their (maximal) subgroups with the unary operation within their maximal subgroups. As such they form a variety whose lattice of subvarieties is denoted by . We construct a 60-element -subsemilattice and a 38-element sublattice of . The bulk of the paper consists in establishing the necessary joins for which it uses Polák’s theorem.