A property of the lattice of equational theories
scientific article; zbMATH DE number 3975006