# Relation between Two Ordinals

## Theorem

Let $S$ and $T$ be ordinals.

Then either $S \subseteq T$ or $T \subseteq S$.

### Corollary

Let $S$ and $T$ be ordinals.

If $S \ne T$, then either $S$ is an initial segment of $T$, or vice versa.

## Proof

Although this article appears correct, it's inelegant. There has to be a better way of doing it.Worth removing the technical complexity to make it more accessibleA better approach may be to write a second proof rather than change this one. You can help Proof Wiki by redesigning 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 `{{Improve}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

Aiming for a contradiction, suppose the claim is false.

That is, by De Morgan's laws: Conjunction of Negations:

- $\paren {\neg \paren {S \subseteq T} } \land \paren {\neg \paren {T \subseteq S} }$

where $\neg$ denotes logical not and $\land$ denotes logical and.

Now from Intersection is Subset, we have $S \cap T \subseteq S$ and $S \cap T \subseteq T$.

Also, by Intersection with Subset is Subset, we have $S \cap T \ne S$ and $S \cap T \ne T$.

That is, $S \cap T \subsetneq S$ and $S \cap T \subsetneq T$.

Note that by Intersection of Two Ordinals is Ordinalâ€Ž, $S \cap T$ is an ordinal.

So by Transitive Set is Proper Subset of Ordinal iff Element of Ordinal:

- $S \cap T \in S$
- $S \cap T \in T$

But then $S \cap T \in S \cap T$, which contradicts Ordinal is not Element of Itself.

$\blacksquare$