Assertion: order | /r/HasProperty | the number of elements
Facets:
value: for finite sets
type: OTHER
Source sentences:
text: For finite sets the order (or cardinality) is the number of elements.