Assertion: finite set | /r/HasAspect | finite order
Facets:
Source sentences:
text: A finite set has finite order (or cardinality).