Category:Definitions/Ordinals
Jump to navigation
Jump to search
This category contains definitions related to Ordinals.
Related results can be found in Category:Ordinals.
$\alpha$ is an ordinal if and only if it fulfils the following conditions:
\((1)\) | $:$ | $\alpha$ is a transitive set | |||||||
\((2)\) | $:$ | the epsilon relation is connected on $\alpha$: | \(\ds \forall x, y \in \alpha: x \ne y \implies x \in y \lor y \in x \) | ||||||
\((3)\) | $:$ | $\alpha$ is well-founded. |
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "Definitions/Ordinals"
The following 30 pages are in this category, out of 30 total.
C
O
- Definition:One (Ordinal)
- Definition:Ordinal
- Definition:Ordinal Number (Position in Sequence)
- Definition:Ordinal Sequence
- Definition:Ordinal/Also known as
- Definition:Ordinal/Definition 1
- Definition:Ordinal/Definition 2
- Definition:Ordinal/Definition 3
- Definition:Ordinal/Definition 4
- Definition:Ordinal/Informal Definition
- Definition:Ordinal/Notation