Alt küme sembolü (⊆), bir kümenin diğerinin bir alt kümesi olduğunu ifade eder 13.

Eğer A kümesinin her bir elemanı, B kümesinin de bir elemanıysa, A kümesi B kümesinin bir alt kümesidir 4.

Örneğin, A = {1, 2, 3} ve B = {1, 2, 3, 4, 5} ise, A ⊆ B ifadesi kullanılır 3. Çünkü A kümesindeki tüm elemanlar B kümesinde de bulunmaktadır 3.

Ayrıca, "⊂" sembolü uygun alt küme anlamına gelir ve A kümesinin B kümesine eşit olmadığını belirtir 24.