Definition:P-adic Metric on Rational Numbers