Definition:Terminal P-adic Expansion

Definition
Let $p$ be a prime number.

A $p$-adic expansion $\ds \sum_{n \mathop = m}^\infty d_n p^n$ is terminal or terminates
 * $\exists N \in \N: \forall n \ge N: d_n = 0$

Also see

 * User:Leigh.Samphier/Sandbox/Characterisation of Terminal P-adic Expansion