Zbiór potęgowy
Z Wikipedii
Zbiorem potęgowym danego zbioru A (ang. power set) nazywamy zbiór wszystkich jego podzbiorów. Oznaczamy go symbolem P(A) lub 2A.
Jeśli A jest zbiorem skończonym mającym n elementów, to P(A) ma 2n elementów.
Twierdzenie Cantora mówi, że dla każdego (skończonego albo nieskończonego) zbioru A, P(A) jest większej mocy (ma "więcej elementów") niż A.
[edytuj] Przykłady
- P(ø)={ø}
- P({ø})={ø,{ø}}
- P({ø,{ø}})={ø,{ø},{ {ø} },{ø,{ø}}}
- P({0,1,2})={ø, {0}, {1}, {2}, {0,1}, {1,2}, {0,2}, {0,1,2}}
