Definability in lattices of equational theoris