# Hartog number

The Hartog number of a set $X$ is the least ordinal which cannot be mapped injectively into $X$. For well-ordered sets $X$ the Hartog number is exactly $|X|^+$, the successor cardinal of $|X|$.
• $X$ can be well ordered if and only if $|X|$ is comparable with its Hartog number.
• There can be a surjection from $X$ onto its Hartog number.
    This article is a stub. Please help us to improve Cantor's Attic by adding information.