Definition: (right CS) "Complements are Summands": Every nonzero right ideal is essential in a direct summand of $R_R$.
(No citations retrieved.)