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

In einem angeordneten Körper ist durch

${}\vert {x}\vert \geq \vert {y}\vert \,$

eine zweistellige Relation gegeben. Drücke diese Relation mit den üblichen Symbolen ${}0,-,\geq$, Variablen und aussagenlogischen Junktoren aus.

Zur Lösung, Alternative Lösung erstellen