Es sei ${\displaystyle {}S}$ ein Symbolalphabet erster Stufe und ${\displaystyle {}U\subseteq S}$ eine Teilmenge. Es sei ${\displaystyle {}t}$ ein ${\displaystyle {}U}$-Term und ${\displaystyle {}\alpha }$ ein ${\displaystyle {}U}$-Ausdruck. Es seien zwei ${\displaystyle {}S}$-Interpretationen ${\displaystyle {}I_{1}}$ und ${\displaystyle {}I_{2}}$ in einer gemeinsamen Grundmenge ${\displaystyle {}M}$ gegeben, die auf ${\displaystyle {}U}$ identisch seien. Dann gelten folgende Aussagen.