Teorema A – 1

∅ ⊆ A untuk setiap himpunan A

Akibat teorema di atas :
Terdapat satu dan hanya satu himpunan kosong
Bukti dari akibat teorema di atas akan diuraikan berikut ini
BUKTI
Andaikan terdapat dua himpunan kosog yaitu ∅ 1 dan ∅ 2
∅ 1=himpunan kosong maka ∅ 1 ⊆ ∅2 (Teorema A -1)
∅ 2=himpunan kosong maka ∅ 2 ⊆ ∅1 (Teorema A -1)
Dari defenisi kesamaan dua himpunan terbukti bahwa ∅ 1=∅2
Bukti Teorema A – 1
∅ ⊆ A ↔ ∀ x ∈ ∅ ⇒ x ∈ A, melalui “implikasi’’ kita akan menunjukkan bahwa ∅ ⊆ A bernilai
“benar”. Syarat tersebut dapat dipenuhi jika x ∈ ∅ ⇒ x ∈ A juga bernilai “benar’’. Untuk x ∈ A
jelas ini akan bernilai “benar”, akan tetapi x ∈ ∅ini bernilai “salah” karena himpunan kosong
tidak memiliki anggota, sehingga x ∈ ∅ atau bernilai “salah” sehingga berdasarkan pendelata
implikasi dapat ditunjukkan tabel kebenaran sebagai berikut :
∅⊆A x∈∅ x∈ A ↔ ∀ x ∈∅ ⇒ x ∈ A
Benar Salah Benar Benar

Sehingga terbukti bahwa himpunan kosong merupakan bagian dari sebuah himpunan