Zbiór potęgowy – dla danego zbioru zbiór wszystkich jego podzbiorów^[1] oznaczany symbolami ^[2], lub W aksjomatycznej teorii mnogości Zermela-Fraenkla istnienie zbioru potęgowego postuluje aksjomat zbioru potęgowego.

To, że zbiór jest zbiorem potęgowym zbioru można formalnie zapisać tak:

Uwaga: Ściśle biorąc, dla danego zbioru nie można podać definicji jego zbioru potęgowego, która zaczynała by się: „jest to zbiór, który...”, bo definicja taka zakłada istnienie zbioru przed jego zdefiniowaniem, a takie definiowanie jest zakazane w aksjomatycznej teorii ZF. Można jedynie formalnie zdefiniować dla dwóch zbiorów, kiedy jeden z nich jest zbiorem potęgowym drugiego.

Jeśli jest zbiorem -elementowym, to ma dokładnie elementów. W szczególności, zbiór potęgowy zbioru pustego złożony jest tylko ze zbioru pustego, a więc ma element. Ogólniej, dla dowolnego zbioru

gdzie oznaczają moc (liczbę kardynalną) zbioru, odpowiednio, i Zbiór potęgowy zbioru liczb naturalnych jest mocy continuum, tzn. jest równoliczny ze zbiorem liczb rzeczywistych. Twierdzenie Cantora mówi, że dla każdego (skończonego albo nieskończonego) zbioru jego zbiór jest większej mocy (ma „więcej elementów”).

• następnik liczby porządkowej
• zbiór pusty

• Aleksander Błaszczyk, Sławomir Turek: Teoria mnogości. Warszawa: Wydawnictwo Naukowe PWN, 2007, s. 7, 101. ISBN 978-83-01-15232-1.

• Algorytm odnajdujący wszystkie podzbiory zbioru stosowany w programowaniu