Dalam matematika, terutama teori himpunan, suatu himpunan A adalah himpunan bagian atau subhimpunan dari himpunan B bila A "termuat" di dalam B. A dan B boleh jadi merupakan himpunan yang sama. Hubungan suatu himpunan yang menjadi himpunan bagian yang lain disebut sebagai "termasuk ke dalam" atau kadang-kadang "pemuatan". Himpunan B adalah superhimpunan dari A karena semua elemen A juga adalah elemen B.