Assertion: set's number | /r/HasProperty | class
Facets:
value: by definition
type: OTHER
Source sentences:
text: Then a cardinal number is, by definition, a class consisting of all sets of the same size.
text: Then an ordinal number is, by definition, a class consisting of all well-ordered sets of the same order type.