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