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: