# Property: von Neumann regular

Definition: For every $x$, there exists $y$ such that $x=xyx$

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