Definition:Convergent P-adic Sequence