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:
iff 
