Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Angeordneter Körper/Fakt

Das Äquivalenzklassenmodell von ist mit der Addition

der Multiplikation

dem Nullelement , dem Einselement und der durch

falls

definierten Ordnung

ein angeordneter Körper.