Cantors Satz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Satz, dass für jede Menge S die Potenzmenge P(S) (die Menge aller Teilmengen von S) eine strikt größere Mächtigkeit als S selbst besitzt; insbesondere gibt es keine Surjektion von S auf P(S).