Alt küme
nda A, B'nin alt kümesidir]]
Matematikte, A ve B iki küme olmak üzere A'nın her elemanı B'nin de elemanı oluyorsa, A'ya B'nin alt kümesi denir. B'ye de A'nın kapsayan kümesi denir. Her küme kendisinin bir alt kümesidir.