ℵ₁ the first uncountable infinity, the second smallest infinite magnitude. [[Transfinite]]