Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@JoelDavidHamkins I also considered adding : $X$ is "+1-infinite" if there is a bijection between $X$ and $X\cup\{X\}$, so $X= X+1$ - but this is the same as Dedekind-infiniteness, I suppose
