Ordinal Rank Function

• $\rho (x)=\sup \{\rho (y)+1\mid y\in x\}$
• Measures complexity of set.
• $\rho (\varnothing )=0$