Dalam contoh di atas, \(B\) merupakan himpunan bagian dari \(A\text{.}\) Anda mungkin bertanya-tanya himpunan lain apa saja yang merupakan himpunan bagian dari \(A\text{.}\) Jika semua himpunan bagian \(A\) tersebut kita kumpulkan ke dalam suatu himpunan baru, kita memperoleh suatu himpunan yang elemen-elemennya juga berupa himpunan. Himpunan semua himpunan bagian \(A\) disebut himpunan kuasa dari \(A\text{,}\) dan ditulis \(\pow(A)\text{.}\)