Zeige, dass Q {\displaystyle {}\mathbb {Q} } mit der durch a b ≥ c d {\displaystyle {}{\frac {a}{b}}\geq {\frac {c}{d}}} (bei b , d ∈ N + {\displaystyle b,d\in \mathbb {N} _{+}} ), falls a d ≥ c b {\displaystyle {}ad\geq cb} in Z {\displaystyle {}\mathbb {Z} } gilt, definierten Beziehung ein angeordneter Körper ist (dabei dürfen nur Eigenschaften der Ordnung auf Z {\displaystyle {}\mathbb {Z} } verwendet werden).
