\begin{definition}[Definition:Denumerable Class]
Let $A$ be a class.
$A$ is '''denumerable''' {{iff}} there exists a bijection:
:$f: S \to \N$
where $\N$ is the set of natural numbers.
\end{definition}