Bi-Interpretability

A strong equivalence between two theories where each is interpretable in the other and the two interpretations compose to interpretations definably isomorphic to the identity; informally, the theories recover each other's structure up to definable isomorphism.