# Initial Segment of Ordinals under Lexicographic Order

This article needs proofreading.Please check it for mathematical errors.If you believe there are none, please remove `{{Proofread}}` from the code.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 `{{Proofread}}` from the code. |

## Theorem

Let $\preccurlyeq_l$ denote the lexicographic order for the set $\paren {\On \times \On}$.

Let the ordinal number $1$ denote the successor of $\O$.

Then the initial segment of $\tuple {1, \O}$ with respect to the lexicographic order $\preccurlyeq_l$ is a proper class.

This initial segment shall be denoted $\paren {\On \times \On}_{\tuple {1, \O} }$.

This article, or a section of it, needs explaining.In particular: The connection between these two statements is not clear.You 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. |

## Proof

Define the mapping $F: \On \to \On \times \On$ as:

- $\forall x \in \On: \map F x = \tuple {\O, x}$

Then, $F: \On \to \paren {\On \times \On}_{\tuple {1, \O} }$, since $\O < 1$.

This article, or a section of it, needs explaining.In particular: The above statement does not make linguistic sense. The entity $F: \On \to \paren {\On \times \On}_{\tuple {1, \O} }$ is a noun, and there is no verb in the "then" clause.You 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. |

That is, $F$ is a mapping from the class of all ordinals to the initial segment of $\tuple {1, \O}$ with respect to lexicographic order.

By Equality of Ordered Pairs, $F$ is injective.

But since $\On$ is a proper class by the Burali-Forti Paradox, the initial segment of $\tuple {1, \O}$ is a proper class as well.

$\blacksquare$

## Sources

- 1971: Gaisi Takeuti and Wilson M. Zaring:
*Introduction to Axiomatic Set Theory*: $\S 7.54 \ (2)$