Es sei das Symbolalphabet für einen angeordneten Körper, d.h. es gebe eine zweielementige Konstantenmenge
,
eine zweielementige Menge für die zweistelligen Funktionssymbole und eine einelementige Menge für ein zweistelliges Relationssymbol. Wir betrachten die Interpretation mit der Grundmenge und die Interpretation mit der Grundmenge , wobei Konstanten, Funktionssymbole und das Relationssymbol in natürlicher Weise interpretiert werden
(und die Variablenbelegung irgendwie festgelegt sei).
Der
-Ausdruck
(also der Ausdruck in vorgestellter Notation)
wird unter den Interpretationen als
bzw. als
interpretiert und daher gelten
und .
Dagegen ist der Ausdruck unter falsch und unter richtig, also
-