Bir alt küme, başka bir kümenin içinde yer alan bir kümedir. Eğer A = {1, 2} ve B = {1, 2, 3, 4} ise, A, B'nin bir alt kümesidir. Her küme, kendisinin bir alt kümesidir. Boş küme, her kümenin bir alt kümesidir.

Öz alt küme, orijinal kümeye eşit olmayan bir alt kümedir. A kümesinin 2 elemanı, B kümesinin ise 4 elemanı vardır. A ≠ B olduğundan, A, B'nin öz alt kümesidir. n elemanlı bir kümenin alt kümelerinin sayısı 2^n'dir.

Alt kümeler küme teorisinde, mantıkta ve bilgisayar biliminde karşımıza çıkar. Olasılıkta olaylar örneklem uzayının alt kümeleridir. Veritabanlarında sorgular kayıtların alt kümelerini seçer. Kavram basit ama modern matematiğin temelini oluşturmaktadır.

• Bir küme başka bir kümenin içinde yer almaktadır.
• Her küme, kendisinin bir alt kümesidir.
• Boş küme, her kümenin bir alt kümesidir.
• Alt kümelerin sayısı 2^n'dir.