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 (18111896)
“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] (18351910)
“It is mediocrity which makes laws and sets mantraps and spring-guns in the realm of free song, saying thus far shalt thou go and no further.”
—James Russell Lowell (181991)