1-模 formula_10，同样可考虑零元素的开邻域 formula_11，由此得到 formula_10 上的 formula_5-进拓扑。
完备化及其性质.模 formula_10 对 formula_3 的完备化定义为射影极限：正如其名，formula_17 对其 formula_5-进拓扑是完备的。对于固定的 formula_3，formula_20 是从 formula_1-模范畴（态射为模同态）到 formula_5-进拓扑 formula_1-模（态射为连续同态