Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition

Uminterpretation

Es sei ein Symbolalphabet erster Stufe und eine -Interpretation in einer Menge gegeben. Es sei eine Variable und ein Element der Grundmenge. Dann versteht man unter der Uminterpretation diejenige Interpretation von in , die strukturgleich zu ist und für deren Variablenbelegung

gilt.