Definition: (right semi-Noetherian) $R$ is right semi-Noetherian if every nonzero submodule of $R_R$ has a maximal submodule
(No citations retrieved.)