Expansión de Lenguaje

La operación o relación de añadir nuevos símbolos (constantes, funciones, relaciones) y especificar sus interpretaciones en una estructura o teoría, produciendo un lenguaje más rico y, posiblemente, nueva información sobre el mismo dominio subyacente. Una expansión puede ser definicional (determinada por la estructura antigua) o genuina (introduciendo opciones independientes).