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

Aus Wikiversity
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.

Zum Beweis, Alternativen Beweis erstellen