Himpunan bagian

Diagram Venn menunjukkan
A adalah himpunan bagian B and sebaliknya B adalah superhimpunan A

Dalam matematika, terutama teori himpunan, suatu himpunan A adalah himpunan bagian 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.