Definition:Representative of P-adic Number