Hartogs-number definition

(set theory) For some set X, the least ordinal α such that there is no injection from α into X.