Encyclopedia > Talk:Ordinal

Article Content

Talk:Ordinal

A much more common notation for Ω as the first uncountable ordinal number is ω₁

The article defines an ordinal as a set whose every element is a subset; but {0,1,{1}} is such a set, and is not an ordinal. To be an ordinal, the set should have the additional property of being totally ordered by containment. (Then the axiom of foundation yields that the set is well-ordered.)

Thanks for catching this! --AxelBoldt

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Reformed churches

... Reformed Church[?] Toleration for the Reformed churches in Germany was established under the Peace of Westphalia, in 1648, but political difficulties at the end of ...