\begin{definition}[Definition:Rank (Set Theory)]
Let $A$ be a set.
Let $V$ denote the von Neumann hierarchy.
Then the '''rank''' of $A$ is the smallest ordinal $x$ such that $A \in \map V {x + 1}$, given that $x$ exists.
\end{definition}