 Hartogs theorem

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