Definition:Ordinal/Definition 3

From ProofWiki
Jump to navigation Jump to search

Definition

An ordinal is a strictly well-ordered set $\struct {\alpha, \prec}$ such that:

$\forall \beta \in \alpha: \alpha_\beta = \beta$

where $\alpha_\beta$ is the initial segment of $\alpha$ determined by $\beta$:

$\alpha_\beta = \set {x \in \alpha: x \subsetneqq \beta}$



This page or section has statements made on it that ought to be extracted and proved in a Theorem page.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed.
To discuss this page in more detail, feel free to use the talk page.


From Initial Segment of Ordinal is Ordinal we have that $\alpha_\beta$ is itself an ordinal.


Notation

The class of all ordinals can be found denoted $\On$.

In order to indicate that a set $S$ is an ordinal, this notation is often seen:

$\Ord S$

whose meaning is:

$S$ is an ordinal.


Thus $\operatorname {Ord}$ can be used as a propositional function whose domain is the class of all sets.


A tradition has grown up in set theory to use lowercase Greek letters $\alpha, \ \beta, \ \gamma, \ldots$ as symbols to represent variables over ordinals.


It is also customary to denote the ordering relation between ordinals as $\le$ rather than $\subseteq$ or $\preceq$.


Also known as

An ordinal is also known as an ordinal number.


For a given well-ordered set $\struct {S, \preceq}$, the expression:

$\map {\mathrm {Ord} } S$

can be used to denote the unique ordinal which is order isomorphic to $\struct {S, \preceq}$.


Also see

  • Results about ordinals can be found here.


Sources


This page may be the result of a refactoring operation.
As such, the following source works, along with any process flow, will need to be reviewed.
When this has been completed, the citation of that source work (if it is appropriate that it stay on this page) is to be placed above this message, into the usual chronological ordering.
In particular: Extract the comment about the initial segment itself being an ordinal
If you have access to any of these works, then you are invited to review this list, and make any necessary corrections.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{SourceReview}} from the code.


Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Ordinal/Definition_3&oldid=583162"