Definition: For all $x,y\in R$, $xy=1$ implies $yx=1$. Also known as: directly finite, von Neumann finite
(No citations retrieved.)