Definition (Complete). $R$ is complete if

• (i) ${\bigcap }_{n\ge 0}{I}^n=\{0\}$
• (ii) every Cauchy sequence converges