Definition ($I$-adic topology). Let $R$ be a ring and $I\subset R$ an ideal. The $I$-adic topology on $R$ has basis $\{r+I^n|r\in R,n\ge 1\}$.