Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Addition/Fakt/Beweis

Beweis

Zum Nachweis der Wohldefiniertheit seien und , also und . Dann ist

und somit

Die Kommutativität und die Eigenschaft, dass das neutrale Element der Verknüpfung ist, folgen unmittelbar aus der Definition. Zum Beweis der Assoziativität seien gegeben. Es ist dann

Ferner ist