Himpunan bagian

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*.

## Definisi
Jika *A* dan *B* adalah himpunan-himpunan dan setiap elemen dari *A* juga merupakan elemen dari *B*, maka:
:* *A* adalah **subset** atau **himpunan bagian** dari (atau termasuk ke dalam) *B*, dilambangkan dengan A \subseteq B,
:atau secara ekuivalen
:* *B* adalah **superset** atau **superhimpunan** dari (atau meliputi) *A*, dilambangkan dengan B \supseteq A.

Jika *A* adalah sebuah subset dari *B*, tetapi *A* tidak sama dengan *B* (yaitu ada paling sedikit satu elemen B yang bukan elemen dari *A*), maka
:* *A* juga merupakan suatu **himpunan bagian sejati** (*proper subset* atau *strict subset*) dari *B*; ini ditulis: A\subsetneq B.
:atau secara ekuivalen
:* *B* adalah **superhimpunan sejati** (*proper superset*) dari *A*; ini ditulis: B\supsetneq A.

Untuk setiap himpunan *S*, relasi inklusi ⊆ merupakan urutan parsial pada himpunan \mathcal{P}(S) untuk semua subset dari *S* (himpunan kuasa dari *S*).

Ketika dikuantifikasi,  ditulis: }.



## Simbol ⊂ dan ⊃
Sejumlah pengarang menggunakan simbol ⊂ dan ⊃ untuk masing-masing mengindikasikan "subset" dan "superset", bukan dengan simbol ⊆ dan ⊇, tetapi artinya sama. Misalnya, bagi para pengarang ini, adalah benar untuk setiap himpunan *A* bahwa *A*&nbsp;⊂&nbsp;*A*.

Para pengarang lain lebih suka menggunakan simbol ⊂ dan ⊃ untuk masing-masing mengindikasikan himpunan bagian dan superhimpunan sejati, daripada ⊊ dan ⊋. Penggunaan ini membuat ⊆ dan ⊂ analog dengan simbol ketidaksamaan ≤ dan <. Misalnya, jika *x*&nbsp;≤&nbsp;*y* maka *x* dapat sama dengan *y*, atau tidak sama, tetapi jika *x*&nbsp;<&nbsp;*y*, maka *x* pasti tidak akan sama dengan *y*, dan pasti lebih kecil dari *y*. Ini mirip dengan kaidah penggunaan ⊂ sebagai "himpunan bagian sejati", jika *A*&nbsp;⊆&nbsp;*B*, maka *A* dapat sama atau tidak sama dengan *B*, tetapi jika *A*&nbsp;⊂&nbsp;*B*, maka *A* pasti tidak akan sama dengan *B*.

## Contoh

* Himpunan A = {1, 2} adalah "himpunan bagian sejati" (*proper subset*) dari B = {1, 2, 3}, sehingga ekspresi A ⊆ B dan A ⊊ B keduanya benar.
* Himpunan D = {1, 2, 3} adalah subset dari E = {1, 2, 3}, sehingga D ⊆ E benar, dan D ⊊ E salah.
* Setiap himpunan adalah subset dari himpunan itu sendiri, tetapi bukan "himpunan bagian sejati" (*proper subset*). (X ⊆ X benar, dan X ⊊ X salah untuk setiap himpunan X.)
* Himpunan kosong {&nbsp;}, dilambangkan dengan ∅, juga merupakan subset dari setiap himpunan *X*. Juga selalu merupakan himpunan bagian sejati dari setiap himpunan kecuali terhadap dirinya sendiri.
* Himpunan {*x*: *x* adalah bilangan prima yang lebih besar dari 10} merupakan himpunan bagian sejati dari {*x*: *x* adalah bilangan ganjil yang lebih besar dari 10}
* Himpunan bilangan asli adalah himpunan bagian sejati dari himpunan bilangan rasional, dan himpunan titik-titik dalam suatu segmen garis adalah himpunan bagian sejati dari suatu himpunan titik-titik dalam garis. Ini merupakan dua contoh di mana baik subset dan himpunan itu sendiri tak terhingga, dan di mana subset mempunyai kardinalitas (konsep yang menyesuaikan ukuran, yaitu jumlah elemen pada suatu himpunan terhingga) yang sama dengan himpunan induk; kasus-kasus itu dapat membingungkan intuisi.

## Lihat pula
* Teori himpunan

## Referensi

* 

## Bacaan lebih lanjut
*  
*  

## Pranala luar
*