Definition: For any regular $r\in R$, we have $Mr=M$.
(No citations retrieved.)
(No metaproperty information retrieved.)