Fully invariant congruence

Summary

A fully invariant congruence of an algebra is a congruence that every endomorphism of the algebra maps into itself. On a term algebra, the fully invariant congruences are exactly the equational theories. These are the sets of identities closed under the rules of equational logic. This is how equational theories become lattice-theoretic objects in universal algebra.