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