Himpunan bagian adalah himpunan yang terdapat di dalam himpunan lain. Jika himpunan A = {1, 2} dan himpunan B = {1, 2, 3, 4}, maka A adalah himpunan bagian dari B. Setiap himpunan adalah himpunan bagian dari dirinya sendiri. Himpunan kosong adalah himpunan bagian dari setiap himpunan.

Himpunan bagian sejati adalah himpunan bagian yang tidak sama dengan himpunan asalnya. A memiliki 2 elemen; B memiliki 4 elemen. Karena A ≠ B, maka A adalah himpunan bagian sejati dari B. Jumlah himpunan bagian dari suatu himpunan dengan n elemen adalah 2^n.

Himpunan bagian muncul dalam teori himpunan, logika, dan ilmu komputer. Dalam probabilitas, kejadian adalah himpunan bagian dari ruang sampel. Dalam basis data, kueri memilih himpunan bagian dari catatan. Konsep ini sederhana tetapi mendasar bagi matematika modern.

• Himpunan yang terdapat di dalam himpunan lain
• Setiap himpunan merupakan himpunan bagian dari dirinya sendiri.
• Himpunan kosong adalah himpunan bagian dari setiap himpunan.
• Jumlah himpunan bagian adalah 2^n