Matematikte ve özellikle küme teorisinde bir alt küme, küme teorisi dalındaki matematiksel bir terimdir. A kümesindeki her öğe aynı zamanda B kümesindeki bir öğeyse, A kümesine B'nin alt kümesi denir. A, B'nin bir alt kümesiyse ve B, A'nın bir alt kümesiyse, A = B. başka bir kümenin alt kümesine kapsama ilişkisi denir.