Alt küme, bir B kümesinin her elemanı aynı zamanda A kümesinin de elemanı ise, B kümesinin A kümesinin bir alt kümesi olduğu söylenir. Bazı alt küme özellikleri: Her küme, kendisinin bir alt kümesidir. Boş küme, her kümenin alt kümesidir. Alt küme ilişkisi, "⊆" sembolü ile gösterilir. Örnek: A = {a, b, c, d, e} ve B = {b, d} kümelerinde, B kümesinin her elemanı A kümesinin de elemanı olduğu için B, A'nın bir alt kümesidir.