有理数=m/ndefinef(x)=m+n1->1bijectivemapping=>有理数和自然数一样多。
自然数集合的任一非空子集中必有最小的数。具备性质3、4的数集称为线性序集。容易看出，有理数集、实数集都是线性序集。
但是这两个数集都不具备，例如所有形如nm（m>n，m，n都是自然数）的数组成的集合是有理数集的非空子集，这个集合就没有最小数；开区间（0，1）是实数集合的非空子集，它也没有最小数。
扩展资料：
如果a-b是正有理数，则称当a大于b或b小于a，记作a>b或b<a。任何两个不相等的有理数都可以比较大小。
有理数集与整数集的一个重要区别是，有理数集是稠密的，而整数集是密集的。将有理数依大小顺序排定后，任何两个有理数之间必定还存在其他的有理数，这就是稠密性。整数集没有这一特性，两个相邻的整数之间就没有其他的整数了。
每个实数都有任意接近的有理数。一个相关的性质是，仅有理数可化为有限连分数。依照它们的序列，有理数具有一个序拓扑。有理数是实数的（稠密）子集，因此它同时具有一个子空间拓扑。
参考资料来源：
参考资料来源：