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