1. Himpunan bagian adalah hubungan antara dua himpunan (misalnya, A⊆B), sedangkan himpunan kuasa adalah kumpulan semua himpunan bagian dari sebuah himpunan.

2. Penjelasan matematis:
Suatu himpunan A disebut himpunan bagian dari (ditulis A⊆B) jika dan hanya jika setiap elemen A adalah elemen B.
Penjelasan intuitif:
Himpunan kosong (∅) dapat dianggap sebagai himpunan "paling kecil" yang tidak memiliki elemen. Karena tidak ada apa-apa di dalamnya, maka tidak ada yang "melanggar aturan" saat dibandingkan dengan himpunan mana pun.
- Himpunan kosong adalah himpunan bagian dari semua himpunan karena secara logis dan matematis, tidak ada elemen dalam himpunan kosong yang dapat melanggar definisi himpunan bagian.