Jabarkan Definisi rekursif dari Himpunan kuasa

Jika  suatu himpunan hingga, maka definisi rekursif  dijelaskan sebagai berikut:

Jika tidak, misalkan  dan , maka

Himpunan pangkat dari himpunan kosong adalah singleton dengan anggotanya merupakan himpunan kosong.

Untuk himpunan takkosong , misalkan  adalah sebarang anggota dari himpunan dan  adalah komplemen relatifnya, maka himpunan kuasa dari  adalah gabungan dari himpunan kuasa dari  dan himpunan kuasa dari  yang setiap anggota dapat diperluas dengan anggota .