next up previous contents
Next: Construction of Q Up: What are numbers? Previous: Construction of N

Construction of Z

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:

Alex Lopez-Ortiz
Mon Feb 23 16:26:48 EST 1998