Alt küme sembolü (⊆), bir kümenin diğerinin bir alt kümesi olduğunu ifade eder. 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. Örneğin, A = {1, 2, 3} ve B = {1, 2, 3, 4, 5} ise, A ⊆ B ifadesi kullanılır. Ayrıca, "⊂" sembolü uygun alt küme anlamına gelir ve A kümesinin B kümesine eşit olmadığını belirtir.