是实数的（稠密）子集，因此它同时具有一个子空间拓扑。采用度量formula_42，有理数构成一个度量空间，这是formula_7上的第三个拓扑。幸运的是，所有三个拓扑一致并将有理数转化到一个拓扑域。有理数是非局部紧致空间的一个重要的实例。这个空间也是完全不连通的。有理数不构成完备的度量空间；实数是formula_7的完备集。
"p"进数.除了上述的绝对值度量，还有其他的度量将formula_7转化到拓扑域：设formula_46是素数，对任何非零整数formula_47设for