Spracherweiterung

Die Operation oder Relation, neue Symbole (Konstanten, Funktionen, Relationen) hinzuzufügen und ihre Interpretationen in einer Struktur oder Theorie festzulegen, wodurch eine reichere Sprache und möglicherweise neue Informationen über dieselbe zugrundeliegende Menge entstehen. Eine Expansion kann definitorisch (durch die alte Struktur bestimmt) oder echt (mit unabhängigen Wahlmöglichkeiten) sein.