Assume A is a set and define $\alpha$ to be the set of ordinals dominated by A. Show that (iii) $\alpha$ is the least cardinal greater than card A.
(Enderton set theory) Hartog's theorem and cardinal numbers