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