Downward Closed Sets of Ordinals
A set is downward closed if anything less than an element of the set is also in the set. If a set of ordinals is downward closed, then that set is an ordinal—the least ordinal not in the set.
Examples:
- The set of ordinals less than 3 is 3 = { 0, 1, 2 }, the smallest ordinal not less than 3.
- The set of finite ordinals is infinite, the smallest infinite ordinal: ω.
- The set of countable ordinals is uncountable, the smallest uncountable ordinal: ω1.
Read more about this topic: Ordinal Number
Famous quotes containing the words downward, closed and/or sets:
“But what she meets and what she fears
Are less than are the downward years,
Drawn slowly to the foamless weirs
Of age, were she to lose him.”
—Edwin Arlington Robinson (1869–1935)
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (1817–1862)
“A continual feast of commendation is only to be obtained by merit or by wealth: many are therefore obliged to content themselves with single morsels, and recompense the infrequency of their enjoyment by excess and riot, whenever fortune sets the banquet before them.”
—Samuel Johnson (1709–1784)