Homomorphielemma/Term/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet, und seien -Strukturen und

ein -Homomorphismus. Es sei eine Variablenbelegung in und die nach übertragene Variablenbelegung. Es seien und die zugehörigen Interpretationen.

Dann ist

für alle -Terme .