Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Körper/Fakt
Das Äquivalenzklassenmodell von ist mit der Addition
der Multiplikation
dem Nullelement und dem Einselement
ein Körper.
Das Äquivalenzklassenmodell von 
![{\displaystyle {}[(a,b)]+[(c,d)]:=[(ad+bc,bd)]\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/945cd640953fcab7d25b9e55833fd9ba6d90946c)
der Multiplikation
![{\displaystyle {}[(a,b)]\cdot [(c,d)]:=[(ac,bd)]\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8340b33dcc2b5a621bcaf9be3996c8311b1ef2e)
dem Nullelement ![{\displaystyle {}[(0,1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cbcfba51167f69412ad00f1d9f60283d0c1c219)
![{\displaystyle {}[(1,1)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20a4684316706eb5005e009008481ec58079c359)
ein Körper.