Set has Rank

From ProofWiki
Jump to: navigation, search


Let $S$ be a set.

Then $S$ has a rank.



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 $G$ be the smallest transitive set containing $S$ as a subset.

By Set Contained in Smallest Transitive Set, $G$ must exist.

By Transitive Set Contained in Von Neumann Hierarchy Level, $G \subseteq V_i$ for some ordinal $i$.


$G \in V_{i+1}$

We have that the ordinals are well-ordered.

From Proper Well-Ordering determines Smallest Elements, there exists a smallest ordinal $k$ such that $G \in V_{k+1}$.

Hence, by definition, $G$ has rank $k$.