命題
M をフィルター付アーベル群(>>92)とし、(M_p)をそのフィルターとする。
アーベル群の族 (M/M_p) は射影系である。
よって射影極限 proj.lim M/M_p が定義出来る。
標準射 M → M/M_p は、標準射φ: M → proj.lim M/M_p を定める。
φが単射であるためにはフィルター (M_p) が分離的(>>94)であることが
必要十分である。

証明
射影極限 proj.lim M/M_p の定義とφの定義から明らか。