 Torsion submodule

For a module $M$ over an integral domain $R$, its torsion submodule isThe domain condition makes this a submodule: products of nonzero annihilators remain nonzero and annihilate sums.