Es sei Z × N + {\displaystyle {}\mathbb {Z} \times \mathbb {N} _{+}} mit der durch
festgelegten Äquivalenzrelation