Hartogs number

Also known as Hartogs ordinal

given a set, the least ordinal such that there is no injection from the ordinal into the set