Assertion: ordered set | /r/HasProperty | isomorphic
Facets:
value: to a unique ordinal
type: OTHER
value: to some collection of sets
type: OTHER
Source sentences:
text: Inclusion is the canonical partial order in the sense that every partially ordered set (X, ⪯ {\displaystyle \preceq } ) is isomorphic to some collection of sets ordered by inclusion.
text: Also, every well-ordered set is isomorphic to a unique ordinal, called its order-type.