Dengan mudah kita simpulkan bahwa 2 himpunan diatas itu sama . Karena semua elemen termuat di , Himpunan adalah himpunan bagian dari begitupula sebaliknya vice versa .

Dari contoh diatas, kita bisa mengatakan dua buah himpunan & dikatakan sama jika berlaku dan .

Misalkan ada 2 himpunan kosong & , akan ditunjukkan bahwa . Itu artinya kita harus menunjukkan dan .

Bagaimana caranya? Kan himpunan kosong tidak mempunyai anggota.

Kita gunakan saja fakta matematis bahwa himpunan kosong termuat disembarang himpunan .

Himpunan kosong adalah himpunan bagian dari semua himpunan.

1. Karena adalah himpunan kosong maka berlaku
2. Begitupula juga merupakan himpunan kosong maka berlaku pula .

Dari 2 point diatas, disimpulkan .

Sekarang kita bisa mengatakan

Himpunan kosong itu tunggal