Bourbakiの用語では完備性に必ずしも分離性を要求しない。
我々もBourbakiに従うことにする。
よって、>>134 の定義を以下のように修正する。

定義
M をフィルター付アーベル群(>>92)とし、(M_p)をそのフィルターとする。
>>133の標準射φ: M → proj.lim M/M_pが全射のとき、
フィルター (M_p) は完備であるという。

（注意）この場合 M/∩M_p が proj.lim M/M_p に同型になる。