Definition 1. A set $X$ is finite if there is a bijection from $X$ to a natural number. $X$ is infinite if it is not finite.
References
- [1]
- Wikipedia contributors. Finite set. Wikipedia, The Free Encyclopedia.
- [2]
- Thomas Jech. Set Theory. 3rd Millennium ed, rev. and expanded. Springer, 2002. p. 20.