Definition: Every nonzero submodule of $M$ is essential in a summand of $M$.
(No citations retrieved.)
(No metaproperty information retrieved.)