Assertion: ordered set | /r/CapableOf | call its order-type
Facets:
Source sentences:
text: Also, every well-ordered set is isomorphic to a unique ordinal, called its order-type.