Zeige, dass die Abbildung
injektiv ist und dass sie mit der Addition, der Multiplikation und der Ordnung verträglich ist.
![{\displaystyle \mathbb {N} \longrightarrow \mathbb {Z} ,\,n\longmapsto [(n,0)],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df42efcb5d068e5db603918e70ac6e888c3dc981)