Property: top regular

Definition: $R/J(R)$ von Neumann regular