Assertion: underlying set | /r/HasProperty | dedekind-infinite
Facets:
Source sentences:
text: Beware that a ring may be Dedekind-finite even if its underlying set is Dedekind-infinite, e.g. the integers.