\begin{definition}[Definition:Finite Class]
Let $A$ be a class.
Let there exist a natural number $n$ as defined by the von Neumann construction such that there exists a bijection $\phi$ from $A$ to $n$.
Then $A$ is a '''finite class'''.
\end{definition}