# Property: strongly $\pi$-regular

Definition: For all $x\in R$, $xR\supseteq x^2R\supseteq x^3R\supseteq \ldots$ terminates