Zeige, dass die in Beispiel auf Z × N + {\displaystyle {}\mathbb {Z} \times \mathbb {N} _{+}} eingeführte Relation
eine Äquivalenzrelation ist.