Jabarkan Himpunan bagian dari Himpunan (matematika)

Jika setiap anggota  termasuk dalam , maka himpunan  dikatakan himpunan bagian dari himpunan , ditulis sebagai . Secara formal, definisi ini dapat dirumuskan sebagai berikut:.Dengan menggunakan definisi himpunan bagian, kesamaan dua himpunan juga dapat dinyatakan sebagai berikut: