Himpunan A disebut himpunan bagian dari himpunan B jika setiap unsur himpunan A merupakan unsur himpunan B. Notasi untuk himpunan bagian adalah AÍB. Himpunan A disebut himpunan bagian sejati dari B jika setiap unsur A adalah unsur B namun minimal ada satu unsur B yang bukan unsur A.