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