Definition:Faithful (Module Theory)