Sayilabilir kumelerin alt kumeleri de sayilabilir oldugundan bos kumenin de sayilabilir olmasi gerekir cunku dogal sayilar sayilabilirdir ve bos kume de bu kumenin alt kumesidir. Ikisi arasindaki bijektif fonksiyon da herhalde bos bir fonksiyon olur.