 "R" can then be completed with respect to this topology.Formally, the "I"-adic completion is the inverse limit of the rings "R"/"In".For example, if "k" is a field, "k""X", the formal power series ring in one variable over "k", is the "I"-adic completion of "k"["X"] where "I" is the principal ideal generated by "X".