A set is defined as a collection of its elements so, if S is a set then the family of all subsets of S is called the power set of S and it is denoted by P(S).

Zbiór potęgowy zbioru A to zbiór wszystkich podzbiorów zbioru A. Nazwa pochodzi stąd, że liczba elementów zbioru potęgowego to dwa do potęgi liczba elementów zbioru A. Dzięki temu faktowi w teorii mnogości używa się zbiorów potęgowych do konstrukcji coraz większych nieskończoności.

Als Potenzmenge bezeichnet man in der Mengenlehre die Menge aller Teilmengen einer gegebenen Grundmenge. Man notiert die Potenzmenge einer Menge. Das Wesen der Potenzmenge wurde schon von Ernst Zermelo untersucht. Der kompakte Begriff „Potenzmenge“ hingegen, wurde auch von Gerhard Hessenberg in seinem Lehrbuch von 1906 noch nicht benutzt; er verwendet dafür die Wortverbindung „Menge der Teilmengen“.