Kodekan setiap subhimpunan dengan deret biner sepanjang \(n\text{:}\) digit ke-\(i\) bernilai \(1\) bila unsur ke-\(i\) dipilih. Korespondensi ini bijektif dengan semua \(2^n\) deret biner. Secara induktif, menambahkan satu unsur menggandakan jumlah subhimpunan, sebab setiap subhimpunan lama menghasilkan satu versi tanpa dan satu versi dengan unsur baru.