EDIT: Given a ring $I$ and$R$ that is an ideal $I$, consider the $I$-adic metricalgebra over a base ring it is always a filtering union of finite type algebras. Then the completionTake a system of $R$ wrt the $I$-adic topology is the (Hausdorff) completiongenerators of the metric space $R$, therefore it may be performed as over the set of Cauchy sequencesbase ring. The algebras in the increasing union are the subspaces of $\hat{R}$ of sequences with prescribed order of convergence, and they turn out to be quotientsfamily of $R[X_1,.. X_n]$ with $n$ the numberfinite subsets of a certainthis system provides a collection of generatorsfinite type subalgebras of $I$$R$ whose filtered union is $R$.
(Some considerations on completion via Cauchy sequences deleted.)