 Let "K" be the field ℚ of rational numbers and "v" be its usual "p"-adic valuation (with formula_1).If "F" is a (not necessarily algebraic) extension field of "K", itself equipped with a valuation "w", we say that formula_2 is formally "p"-adic when the following conditions are satisfied