Property: exchange

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

Metaproperties

This property has the following metaproperties
  • passes to $eRe$ for any full idempotent $e$
  • passes to $eRe$ for any idempotent $e$