Assertion: order | /r/HasProperty | order isomorphic
Facets:
value: to an ordinal one
type: OTHER
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 <.