Assertion: ordered set | /r/HasProperty | dedekind-infinite
Facets:
Source sentences:
text: For instance, ZF proves that a well-ordered set is Dedekind-infinite if and only if it is infinite.