Himpunan kuasa

Dalam matematika, himpunan kuasa dari himpunan S adalah himpunan dari semua subhimpunan S yang memuat himpunan kosong dan S itu sendiri. Dalam teori himpunan aksiomatik, keberadaan himpunan kuasa dari setiap himpunan didalilkan melalui aksioma himpunan kuasa. Notasi dari himpunan kuasa S dinyatakan dengan berbagai cara, yaitu: P, P, P, ℘ atau 2 S. Notasi 2 S mengartikan bahwa himpunan dari semua fungsi yang dipetakan dari S ke himpunan yang mempunyai dua anggota. Penggunaan notasi tersebut dipakai sebab himpunan kuasa dari S dapat diidentifikasi dengan, ekuivalen dengan, atau bijektif dengan himpunan dari semua fungsi yang dipetakan dari S ke himpunan yang mempunyai dua himpunan anggota. Sebarang subhimpunan dari P disebut sebagai keluarga himpunan atas S.