任何两个有理数之间存在另一个有理数，事实上是存在无穷多个。
实数.有理数是实数的紧密子集：每个实数都有任意接近的有理数。一个相关的性质是，仅有理数可化为有限连分数。依照它们的序列，有理数具有一个序拓扑。有理数是实数的（稠密）子集，因此它同时具有一个子空间拓扑。采用度量formula_42，有理数构成一个度量空间，这是formula_7上的第三个拓扑。幸运的是，所有三个拓扑一致并将有理数转化到一个拓扑域。有理数是非局部紧致空间的一个重要的实例。这个空间也是完全不连通的。有理数不构