A を環、Mを A-加群、
N, L を M の部分加群とする。
S を A の積閉集合とする。
M_S の部分加群として、(N ∩ L)_S = N_S ∩ L_S となる。

証明
完全列
0 → N ∩ L → M → M/N + M/L(直和)
より、完全列
0 → (N ∩ L)_S → M_S → M_S/N_S + M_S/L_S(直和)
が得られる(>>86)。
証明終