Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer angeordneter Ring/Fakt

Das Äquivalenzklassenmodell von ist mit der Addition

der Multiplikation

dem Nullelement , dem Einselement und der durch

falls

definierten Ordnung

ein angeordneter Ring.