Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition/Begriff/Inhalt

Unter der Uminterpretation versteht man diejenige Interpretation von in , die strukturgleich zu ist und für deren Variablenbelegung

gilt.