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

Der Satz über die algebraische Struktur des Äquivalenzklassenmodells für .