Es sei
ein
Symbolalphabet erster Stufe
und
eine
-Struktur. Für jede
elementare Äquivalenzklasse
gebe es einen
-Ausdruck
in einer freien Variablen
, der die Klasse
beschreibt, für den also
-
gilt.
Dann gelten folgende Aussagen.
- Für jedes
-stellige Relationssymbol
ist
auf den Äquivalenzklassen wohldefiniert.
- Für jedes
-stellige Funktionssymbol
ist
auf den Äquivalenzklassen wohldefiniert
(und zwar in dem Sinn, dass aus
die elementare Äquivalenz
folgt).