Property: exchange

Definition: If $a+b=1$, there exists $r$ and $s$ such that $ar$ and $bs$ are idempotents and $ar+bs=1$

• passes to $eRe$ for any full idempotent $e$
• passes to $eRe$ for any idempotent $e$