Es sei ${\displaystyle {}S}$ ein erststufiges Symbolalphabet, ${\displaystyle {}M}$ und ${\displaystyle {}N}$ seien ${\displaystyle {}S}$-Strukturen und

${\displaystyle \varphi \colon M\longrightarrow N}$

ein ${\displaystyle {}S}$-Homomorphismus. Es sei ${\displaystyle {}\lambda }$ eine Variablenbelegung in ${\displaystyle {}M}$ und ${\displaystyle {}\varphi \circ \lambda }$ die nach ${\displaystyle {}N}$ übertragene Variablenbelegung. Es seien ${\displaystyle {}I}$ und ${\displaystyle {}J}$ die zugehörigen Interpretationen.

Dann ist

für alle ${\displaystyle {}S}$-Terme ${\displaystyle {}t}$.