Himpunan kuasa itu apa sih?

Dalam matematika, himpunan kuasa () dari himpunan  adalah himpunan dari semua subhimpunan  yang memuat himpunan kosong dan  itu sendiri. Dalam teori himpunan aksiomatik (saat dikembangkan, sebagai contoh, dalam aksioma teori himpunan Zermelo–Fraenkel), keberadaan himpunan kuasa dari setiap himpunan didalilkan melalui aksioma himpunan kuasa. Notasi dari himpunan kuasa  dinyatakan dengan berbagai cara, yaitu: , , ,  atau . Notasi  mengartikan bahwa himpunan dari semua fungsi yang dipetakan dari  ke himpunan yang mempunyai dua anggota. Penggunaan notasi tersebut dipakai sebab himpunan kuasa dari  dapat diidentifikasi dengan, ekuivalen dengan, atau bijektif dengan himpunan dari semua fungsi yang dipetakan dari  ke himpunan yang mempunyai dua himpunan anggota.

Sebarang subhimpunan dari  disebut sebagai keluarga himpunan atas .