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

Der Satz über die algebraische Struktur des Äquivalenzklassenmodells für ${}\mathbb {Z}$.