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:
“A woman drew her long black hair out tight
And fiddled whisper music on those strings
And bats with baby faces in the violet light
Whistled, and beat their wings
And crawled head downward down a blackened wall....”
—T.S. (Thomas Stearns)
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (1817–1862)
“The world can doubtless never be well known by theory: practice is absolutely necessary; but surely it is of great use to a young man, before he sets out for that country, full of mazes, windings, and turnings, to have at least a general map of it, made by some experienced traveller.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)