Para un primo "p" dado, definimos la "métrica p-ádica" en Q como sigue: para cualquier racional diferente de cero "x", existe un entero único "n" que nos permite escribir "x" = "p"("a"/"b"), donde ninguno de los enteros