Himpunan
Contoh 1.25
Misalkan 𝑀 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓, 𝑔, ℎ, 𝑖, 𝑗}, maka
{{𝑎}, {𝑏, 𝑐}, {𝑑, 𝑒, 𝑓}, {𝑔, ℎ, 𝑖}, {𝑗}} merupakan partisi dari himpunan
𝑀.
38
TEORI HIMPUNAN | 1. Himpunan
𝐴 ∪ (𝐵 ∩ 𝐶) (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)
Gambar 1.11
Diagram Venn untuk pembuktian 𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶)
(daerah hasil yang diarsir/warna abu-abu)
39
TEORI HIMPUNAN | 1. Himpunan
40
TEORI HIMPUNAN | 1. Himpunan
Untuk memahami tabel 1.3 tersebut, akan dijelaskan salah satu baris
saja. Perhatikan baris ke-3 tabel 1.3, kita menuliskannya sebagai
berikut.
Misalkan 𝑥 ∉ 𝐴 (nilai 0), 𝑥 ∈ 𝐵 (nilai 1), dan 𝑥 ∉ 𝐶 (nilai 0), maka pastinya
𝑥 ∈ (𝐵 ∪ 𝐶) (nilai 1). Akan tetapi 𝑥 ∉ 𝐴 ∩ (𝐵 ∪ 𝐶) (nilai 0). Ini untuk
pembuktian pada ruas kiri kesamaan. Pembuktian ruas kanan
kesamaan sebagai berikut. Jika 𝑥 ∉ (𝐴 ∩ 𝐵) (nilai 0) dan 𝑥 ∉ (𝐴 ∩ 𝐶)
(nilai 0), maka 𝑥 ∉ ((𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)) (nilai 0). Sehingga kesamaan 𝐴 ∪
(𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) bernilai benar, yaitu bernilai sama (bernilai 0
semua) menurut pembuktian dengan metode tabel keanggotaan.
Contoh 1.26
(i) Misalkan 𝐴 dan 𝐵 himpunan.
Buktikan bahwa 𝐴 ∪ (𝐵 − 𝐴) = 𝐴 ∪ 𝐵
Penyelesaian:
41
TEORI HIMPUNAN | 1. Himpunan
42
TEORI HIMPUNAN | 1. Himpunan
Contoh 1.27
(i) Misalkan 𝐴 dan 𝐵 himpunan. Jika 𝐴 ∩ 𝐵 = ∅, dan 𝐴 ⊆ (𝐵 ∪ 𝐶),
maka 𝐴 ⊆ 𝐶
Bukti:
Berdasarkan keterangan bahwa:
𝐴 ∩ 𝐵 = ∅, artinya 𝐴 dan 𝐵 adalah himpunan saling lepas,
maka 𝑥 ∈ 𝐴 dan 𝑥 ∉ 𝐵.
𝐴 ⊆ (𝐵 ∪ 𝐶) sesuai definisi himpunan bagian, maka 𝑥 ∈ 𝐴 dan
𝑥 ∈ (𝐵 ∪ 𝐶) juga, artinya 𝑥 ∈ 𝐵 atau 𝑥 ∈ 𝐶.
Berdasarkan keterangan pertama, bahwa 𝑥 ∉ 𝐵. Maka 𝑥 ∈ 𝐶.
Karena 𝑥 ∈ 𝐴 dan 𝑥 ∈ 𝐶, sesuai definisi himpunan bagian, maka
𝐴 ⊆ 𝐶.
Sehingga dapat dinyatakan bahwa: Jika 𝐴 ∩ 𝐵 = ∅, dan 𝐴 ⊆
(𝐵 ∪ 𝐶), maka 𝐴⊆𝐶 adalah benar.
43
TEORI HIMPUNAN | 1. Himpunan
S. Himpunan Ganda
Berdasarkan definisi yang menyatakan bahwa himpunan adalah kumpulan
anggota yang berbeda. Akan tetapi pada beberapa kondisi, adakalanya
anggota dari himpunan tidak seluruhnya berbeda. Misalnya himpunan
nama-nama mahasiswa yang mengambil mata kuliah teori himpunan,
kemungkinan ada nama mahasiswa yang sama. Oleh karena itu terdapat
pengulangan anggota pada himpunan tersebut.”
44