Boş küme boş kümeyi kapsar mı?

Boş küme, boş kümeyi kapsar mı diye soruyorsan, matematikte şöyle diyebiliriz:

Evet, boş küme boş kümeyi kapsar.

Neden? Çünkü küme kapsama (alt küme) tanımı şöyledir:
Bir AA kümesi, BB kümesinin alt kümesi (yani A⊆BA \subseteq B) ise, AA‘nın her elemanı BB‘nin elemanıdır.

Boş kümenin (∅\emptyset) hiç elemanı olmadığı için, “her elemanı başka kümede de var mı?” sorusu otomatik olarak doğru kabul edilir. Buna boş önermenin doğruluğu denir.

Sonuç:

∅⊆∅\emptyset \subseteq \emptyset

Yani boş küme kendisinin alt kümesidir. Özetle, boş küme boş kümeyi kapsar.