◀ ▲ ▶Branches / Settheory / Theorem: Distinction Between Finite and Infinite Sets Using Subsets
The previous concepts allow making a distinction between finite and infinite sets. In some literature, you will find this result not as a theorem, but as a definition of finite and infinite sets.
Theorem: Distinction Between Finite and Infinite Sets Using Subsets
Let $X$ be a nonempty set and $S\subset X$ its proper subset. Then
Table of Contents
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Flachsmeyer, Jürgen: "Kombinatorik", VEB Deutscher Verlag der Wissenschaften, 1972, 3rd Edition