Zbiorem potęgowym danego zbioru A (ang. power set) nazywamy zbiór wszystkich jego podzbiorów. Oznaczamy go symbolem P(A) lub 2^A.

Jeśli A jest zbiorem skończonym mającym n elementów, to P(A) ma 2ⁿ 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.

Przykłady

• P(ø)={ø}
• P({ø})={ø,{ø}}
• P({ø,{ø}})={ø,{ø},{ {ø} },{ø,{ø}}}
• P({0,1,2})={ø, {0}, {1}, {2}, {0,1}, {1,2}, {0,2}, {0,1,2}}

teoria mnogości

Potenční množina | Potenzmenge | Power set | Conjunto potencia | Insieme delle parti | קבוצת החזקה | Hatványhalmaz | Machtsverzameling | 冪集合 | Potensmengde | Conjunto de partes | Булеан | Potenssijoukko | 冪集