Expansion de Langage

L'opération ou la relation d'ajouter de nouveaux symboles (constantes, fonctions, relations) et de préciser leurs interprétations dans une structure ou une théorie, produisant un langage plus riche et éventuellement de nouvelles informations sur le même domaine sous-jacent.