# Ordinal is Transitive/Proof 3

Jump to navigation
Jump to search

## Theorem

Every ordinal is a transitive set.

## Proof

Let $\alpha$ be an ordinal by Definition 3.

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 \prec \beta}$

That is, $\alpha$ is a transitive set.

This article, or a section of it, needs explaining.In particular: Determine exactly what is being proved hereYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.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 `{{Explain}}` from the code. |

$\blacksquare$