A を環とし、MをA-加群とする。
SをAの積閉集合とする。
M_S = M(x)A_S と定義する。
ここで、M(x)A_S は M とA_Sの A 上のテンソル積。
M_S は A_S-加群となる。M_S を M[1/S] と書くこともある。

x ∈ M, s ∈ S のとき、x(x)(1/s) を x/s と書く。

x/s = 0 とすると、ある t ∈ S があり、tx = 0 となる。