Definition: For every nonzero $r\in R$, we have $Mr=M$. (Note we are not requiring $R$ to be a domain.)
(No citations retrieved.)