A をネーター環とし、Mを A-加群とする。
p ∈ Ass(M) であるためには、A-加群としての単射 A/p → M が
存在することと同値である。