We define an equivalence relation on :
iff
. Note that
``simulates'' a subtraction in N.
. We will refer to the elements of Z by giving them a subscript .
The elements of N can be embedded as follows:
such that
. Furthermore we can define: