Angeordneter Körper/Betragsabschätzung/Formulierung/Aufgabe

In einem angeordneten Körper ist durch

eine zweistellige Relation gegeben. Drücke diese Relation mit den üblichen Symbolen , Variablen und aussagenlogischen Junktoren aus.