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.