The lattice of equational theories. Part III: Definability and automorphisms