Assertion: total order | /r/HasProperty | order isomorphic
Facets:
Source sentences:
text: Either by direct proof or by observing that every well order is order isomorphic to an ordinal one may show that every finite total order is order isomorphic to an initial segment of the natural numbers ordered by <.