p-adic ultrametric

The ultrametric with prime number p as parameter defined as d_p(x,y)=|x-y|ₚ; i.e., such that the distance between two rational numbers is equal to the p-adic absolute value of the difference between those two numbers.