Rank of a set
= Rank of a set
= Set-theoretic rank
{synonym}
The rank is defined by
$$
\operatorname{rank}(x)
=\sup_{y\in x}(\operatorname{rank}(y)+1).
$$
It is the least ordinal $\alpha$ for which $x\subseteq V_\alpha$.
= Rank of a set
= Set-theoretic rank
{synonym}
The rank is defined by
$$
\operatorname{rank}(x)
=\sup_{y\in x}(\operatorname{rank}(y)+1).
$$
It is the least ordinal $\alpha$ for which $x\subseteq V_\alpha$.