- Definisi Himpunan Bagian (Subset) Jika setiap anggota A menjadi anggota B maka dikatakan bahwa A adalah himpunan bagian dari B, dan ditulis

- Himpunan kosong yang dinotasikan
atau
adalah himpunan yang tak mempunyai anggota. Himpunan kosong merupakan himpunan bagian dari sembarang himpunan.
- Setiap himpunan merupakan bagian dari dirinya sendiri.
- Banyaknya anggota (yang berbeda) dalam suatu hhimpunan disebut bilangan kardinal himpunan itu dan dinotasikan n. Jika banyaknya anggoata himpunan bagian yang mempunyai r anggota =
Jadi

dapat juga dinyatakan sebagai
5. Himpunan dari semua himpunan bagian H disebut Himpunan Kuasa dari H dan dinotasikan

atau P(H)