Durch die Festlegung
falls
erhält man auf (dem Äquivalenzklassenmodell von) Z {\displaystyle {}\mathbb {Z} } eine totale Ordnung.
![{\displaystyle {}[(a,b)]\geq [(c,d)]\,,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2391d3d11caaf252146ce25295282921cd03a980)
eine
totale Ordnung.
