\begin{definition}[Definition:Hartogs Number]
Let $S$ be a set.
The '''Hartogs number''' of $S$ is the smallest ordinal $\alpha$ such that there exists no injection from $\alpha$ to $S$.
\end{definition}