# Bounded Rank implies Small Class

Jump to navigation
Jump to search

## Theorem

Let $S$ be a class.

Suppose the rank, denoted $\map {\operatorname{rank} } x$, of each $x \in S$ is bounded above by some ordinal $y$.

This article needs to be linked to other articles.In particular: rankYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.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 `{{MissingLinks}}` from the code. |

Then $S$ is a small class.

## Proof

*This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.*

*If you see any proofs that link to this page, please insert this template at the top.*

*If you believe that the contents of this page can be reworked to allow ZFC, then you can discuss it at the talk page.*

Let $V$ denote the von Neumann hierarchy.

Then:

\(\ds \forall x \in S: \, \) | \(\ds \map {\operatorname{rank} } x\) | \(\le\) | \(\ds y\) | by hypothesis | ||||||||||

\(\ds \leadsto \ \ \) | \(\ds x\) | \(\in\) | \(\ds \map V {y + 1}\) | Ordinal is Subset of Rank of Small Class iff Not in Von Neumann Hierarchy and Ordinal Equal to Rank | ||||||||||

\(\ds \leadsto \ \ \) | \(\ds S\) | \(\subseteq\) | \(\ds \map V {y + 1}\) | Definition of Subset |

Therefore, by Axiom of Subsets Equivalents, it follows that $S$ is a small class.

$\blacksquare$

## Sources

- 1971: Gaisi Takeuti and Wilson M. Zaring:
*Introduction to Axiomatic Set Theory*: $\S 9.19$