Equivalence theory