Equivalencia Definicional

Una relación entre teorías formales que se da cuando cada teoría puede obtenerse de la otra añadiendo definiciones explícitas para símbolos nuevos, de modo que ambas son intertraducibles sin cambiar el contenido de las oraciones en los vocabularios originales.