Category:Successor Set of Ordinal is Ordinal

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Successor Set of Ordinal is Ordinal:

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

Let $\alpha \in \On$ be an ordinal.

Then its successor set $\alpha^+ = \alpha \cup \set \alpha$ is also an ordinal.

Pages in category "Successor Set of Ordinal is Ordinal"

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