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: