# Category:Successor of Ordinal Smaller than Limit Ordinal is also Smaller

Jump to navigation
Jump to search

This category contains pages concerning **Successor of Ordinal Smaller than Limit Ordinal is also Smaller**:

Let $\On$ denote the class of all ordinals.

Let $\lambda \in \On$ be a limit ordinal.

Then:

- $\forall \alpha \in \On: \alpha < \lambda \implies \alpha^+ < \lambda$

## Pages in category "Successor of Ordinal Smaller than Limit Ordinal is also Smaller"

The following 3 pages are in this category, out of 3 total.