形的形式邻域。
"I"-进拓扑.对于一个交换环 formula_1 及其理想 formula_5（通常取为极大理想），可以借着取 formula_6 为零元素的开邻域，赋予 formula_1 相应的拓扑结构，使之成为对加法的拓扑群。这种拓扑称为 formula_5-进拓扑。对于一个 formula_1-模 formula_10，同样可考虑零元素的开邻域 formula_11，由此得到 formula_10 上的 formula_5-进拓扑。
完备化及其