Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Angeordneter Körper/Fakt/Name

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