Extensión Definicional

Una relación entre teorías en la que una teoría nueva se obtiene de una teoría base añadiendo símbolos nuevos junto con axiomas definitorios explícitos que caracterizan esos símbolos en términos del lenguaje base, de modo que no se introducen nuevos teoremas en el lenguaje original (conservatividad).