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.