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:
“All places where women are excluded tend downward to barbarism; but the moment she is introduced, there come in with her courtesy, cleanliness, sobriety, and order.”
—Harriet Beecher Stowe (1811–1896)
“She was so overcome by the splendor of his achievement that she took him into the closet and selected a choice apple and delivered it to him, along with an improving lecture upon the added value and flavor a treat took to itself when it came without sin through virtuous effort. And while she closed with a Scriptural flourish, he “hooked” a doughnut.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“It provokes the desire but it takes away the performance. Therefore much drink may be said to be an equivocator with lechery: it makes him and it mars him; it sets him on and it takes him off.”
—William Shakespeare (1564–1616)