All Solid Varieties of Semigroups

A solid variety is a variety in which every identity holds as a hyperidentity, that is, we substitute not only elements for the variables but also term operations for the operational symbols. There are obvious necessary conditions for a variety of semigroups to be solid. We will show here that these conditions are also sufficient.