>>9 の訂正
>A をネーター局所環とし、M ≠ 0 を有限生成 A-加群とする。
>dim(M) = 0 のとき、空集合を M-切断列 と考える。

A をネーター局所環とし、m をその極大イデアル、
M ≠ 0 を有限生成 A-加群とする。
m の部分集合 S が空集合のとき、SM = 0 と定義する。
よって、空集合も M-切断列 と考える。