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 (18691935)
“Night hath closed all in her cloak,
Twinkling stars love-thoughts provoke,
Danger hence good care doth keep,
Jealousy itself doth sleep;”
—Sir Philip Sidney (15541586)
“To me this world is all one continued vision of fancy or imagination, and I feel flattered when I am told so. What is it sets Homer, Virgil and Milton in so high a rank of art? Why is Bible more entertaining and instructive than any other book? Is it not because they are addressed to the imagination, which is spiritual sensation, and but mediately to the understanding or reason?”
—William Blake (17571827)