Assertion: set's number | /r/HasProperty | the equivalence classes
Facets:
Source sentences:
text: To have the same size is an equivalence relation, and the cardinal numbers are the equivalence classes.
text: To have the same order type is an equivalence relation on the class of well-ordered sets, and the ordinal numbers are the equivalence classes.