Zbiór potęgowy
Z Wikipedii
Zbiorem potęgowym danego zbioru A (ang. power set) nazywamy zbiór wszystkich jego podzbiorów. Oznaczamy go: 
lub 2A.
[edytuj] Moc zbioru potęgowego
Jeśli A jest n-elementowym zbiorem skończonym, to ma 2n elementów.
Ogólniej, dla dowolnego zbioru A: 
. W tym przypadku dopuszczamy 
. Dla przykładu 
.
[edytuj] Twierdzenie Cantora
Twierdzenie Cantora mówi, że dla każdego (skończonego albo nieskończonego) zbioru A, jego zbiór jest większej mocy (ma "więcej elementów").
