Assertion: ordered set | /r/HasProperty | enumerated under this characterization
Facets:
Source sentences:
text: More generally, it is a theorem of ZF that any well-ordered set can be enumerated under this characterization so that it coincides up to relabeling with the generalized listing enumeration.