Zeige, dass im Äquivalenzklassenmodell für Q {\displaystyle {}\mathbb {Q} } die Ordnung die Beziehung
genau dann, wenn
erfüllt.