P-adic metric/Definition

A metric on the rationals in which numbers are close to zero if they are divisible by a large power of a given prime p.