Bir A kümesinin tüm elemanları, başka bir B kümesinin de elemanı ise, A kümesi B kümesinin alt kümesidir. Bu durum A ⊆ B şeklinde gösterilir.
n elemanlı bir kümenin alt küme sayısı 2n formülü ile hesaplanır. Bu formülün ispatı matematiksel tümevarım yöntemiyle yapılabilir.
n elemanlı bir kümede her eleman için iki seçenek vardır:
Bu nedenle toplam olasılık: 2 × 2 × 2 × ... × 2 (n tane) = 2n
Eleman sayısı: n = 2
Alt küme sayısı: 22 = 4
Alt kümeler: ∅, {1}, {2}, {1, 2}
Eleman sayısı: n = 3
Alt küme sayısı: 23 = 8
Alt kümeler: ∅, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}
Alt küme sayısı formülü 2n, kümenin elemanlarının ne olduğuna değil, sadece kaç tane elemanı olduğuna bağlıdır. Bu nedenle 5 elemanlı herhangi bir kümenin 25 = 32 alt kümesi vardır.