Let be a ring, and let be an -module. We say that is a faithful -module if its annihilator is the zero ideal.
We say that is a fully faithful -module if every nonzero -submodule of is faithful.