Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer angeordneter Ring/Fakt
Zur Navigation springen
Zur Suche springen
Das Äquivalenzklassenmodell von ist mit der Addition
der Multiplikation
dem Nullelement , dem Einselement und der durch
falls
definierten Ordnung
ein angeordneter Ring.