Definition:Restricted P-adic Valuation