 Hartogs theorem

For every set $X$ there is a least ordinal $h(X)$ that does not inject into $X$.

The least ordinal supplied by the theorem is the Hartogs number.