Assertion: finite set | /r/HasProperty | enumerable
Facets:
Source sentences:
text: All (non empty) finite sets are enumerable.