Coba jelasin Contoh dari Himpunan kuasa dong

Jika  adalah himpunan , maka subhimpunan dari  adalah

(juga dilambangkan  atau , himpunan kosong atau himpunan nol)

Oleh karena itu, himpunan kuasa dari  adalah .

Jika  adalah sebuah himpunan terhingga dengan kardinalitas , maka jumlah subhimpunan dari  adalah . Fakta tadi menjelaskan alasan pemakaian notasi , dan ini dapat diperlihatkan di bawah berikut:

Argumen diagonal Cantor memperlihatkan bahwa himpunan kuasa dari himpunan (tak terhingga atau terhingga) selalu memiliki kardinalitas tertinggi sempurna daripada himpunan itu sendiri (atau secara informal, himpunan kuasa harus lebih besar daripada himpunan asli). Secara khusus, teorema Cantor memperlihatkan bahwa himpunan kuasa dari himpunan takhingga tercacahkan merupakan himpunan tak terhingga yang tak tercacahkan. Sebagai contoh, himpunan kuasa dari himpunan bilangan asli dapat korespondensi satu-ke-satu dengan himpunan bilangan real (lihat Kardinalitas dari kontinum).

Himpunan kuasa dari himpunan , bersama dengan operasi-operasinya seperti gabungan, irisan, dan komplemen, dapat diperlihatkan sebagai contoh dari aljabar Boole. Bahkan, seseorang dapat memperlihatkan bahwa sebarang aljabar Boole terhingga isomorfik dengan aljabar Boole himpunan kuasa dari himpunan terhingga. Hal tersebut tak berlaku benar untuk aljabar Boole tak terhingga, tetapi setiap aljabar Boole tak terhingga dapat dinyatakan sebagai subaljabar dari aljabar Boole himpunan kuasa (lihat teorema representasi Stone).

Himpunan kuasa dari  akan membentuk suatu grup Abel ketika dianggap mempunyai operasi beda simetrik (dengan himpunan kosong sebagai elemen identitas dan masing-masing himpunan adalah invers dari himpunan itu sendiri), dan himpunan kuasa dari  akan membentuk monoid komutatif ketika dianggap mempunyai operasi irisan. Ini disebabkan dengan membuktikan hukum distributif, bahwa himpunan kuasa yang dianggap mempunyai kedua operasi tersebut akan membentuk suatu gelanggang Boole.