A を環、M を A-加群、(M_i), i ∈ I をその部分加群の族で
M = ΣM_i とする。ここで、Σは直和ではなく単なる和をあらわす。
つまり、M は(M_i)で生成される。
S を A の積閉集合としたとき、
M_S = Σ(M_i)_S となる。

証明は演習。っていうか明らかだろう。