Definition: $ab=0$ implies $aRb=\{0\}$ for all $a,b\in R$. Also known as: SI condition, zero-insertive rings.
(No citations retrieved.)