Directly finite ring

Redirect to:

• Dedekind-infinite set