自然数集合N＝{0,1,2,3...}
整数集合Z={z|z=±N}
有理数集合Y＝{y|y=n1/n2,n2≠0}
有理数的大小可以通过通分比较.-N自定义出的？当然了，集合论至今没有解决N是怎么来的，因此只能是定义出的了。