Equivalence of varieties

Summary

Two varieties are equivalent, or term equivalent, when each can be interpreted in the other and the two translations undo each other. Equivalent varieties have the same algebras up to a change of the basic operations, so they have the same subalgebras, congruences and term operations. The standard example is the equivalence between Boolean algebras and Boolean rings.