◀ ▲ ▶Branches / Settheory / Proposition: Cardinals of a Set and Its Power Set
In comparing cardinal numbers we have set $A < B,$ if there is an injective, but no surjective function $f:A\to B$. This is motivated by a result by Georg Cantor (1845  1918) who realized that there is no surjective function between any set and its power set:
Proposition: Cardinals of a Set and Its Power Set
There is no surjective function between a given set $S,$ and its power set $\mathcal P(S).$
Table of Contents
Proofs: 1
Mentioned in:
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Knauer Ulrich: "Diskrete Strukturen  kurz gefasst", Spektrum Akademischer Verlag, 2001
 Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994