Finite and Infinite Sets
is finite if it has size for some , and infinite otherwise.
Characterisations on finite sets
A finite set admits no bijection onto any proper subset of itself. Conversely, a set has size exactly when there is a bijection , mapping for some listing .
Related
Stated in
- Definition 2.10 (Finite and Infinite Set)§2.1.3 Finite Sets