D-compatible semigroup varieties

The -compatible semigroup varieties will be characterized and described. It is found that a semigroup variety is -compatible if and only if it is -compatible. It is shown that a periodic semigroup variety contains at most six maximal -compatible subvarieties and every -compatible subvariety is contained in one of these maximal ones. The semigroup varieties which are minimal for not being -compatible are found: they are all periodic and countably infinite in number. There are six distinct maximal -compatible pseudovarieties of semigroups. The semigroup varieties and pseudovarieties which are compatible for each of the Green relations are characterized and described. Analogues for varieties and pseudovarieties of monoids are established. It is shown that if a -compatible variety of monoids contains a nonabelian group, then it is periodic and consists of completely regular monoids only.