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.