例えば、kを体として、k上の一変数形式冪級数環k]は、多項式環kのXが生成する主イデアルIによるI-進完備化である。
例如，如果k是一个域，k]，k上一个变量形式幂级数环，是k的I-进完备化，其中I是由X生成的主理想。