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