Assertion: set | /r/HasProperty | an ordinal
Facets:
value: similarly
type: DEGREE
Source sentences:
text: Similarly, the set of all ordinals that are bijectable with some ordinal less than or equal to \(\omega_1\) is also an ordinal, called \(\omega_2\), and is not bijectable with \(\omega_1\), and so on.