next up previous contents
Next: What's next? Up: What are numbers? Previous: Construction of C

Rounding things up

At this moment we don't have that N is a subset of Z, Z of Q, etc. But we can get the inclusions if we look at the embedded copies of N, Z, etc. Let

For these sets we have . Furthermore these sets have all the properties that the ``informal'' numbers have.

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