Let $R$ be a ring, and let $M$ be an $R$ -module. We say that $M$ is a faithful $R$ -module if its annihilator ${\rm ann}_R(M)$ is the zero ideal.

We say that $M$ is a fully faithful $R$ -module if every nonzero $R$ -submodule of $M$ is faithful.