设a，b是任意两个有理数，且a<b。取有理数c=(a+b)/2，则有a<c<b，即任意两个不相等的有理数之间都有一个有理数，从而有无穷多个有理数。这就是有理数的（）。