A ve B iki küme olmak üzere A nın her elamanı 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. Boş küme her kümenin bir alt kümesidir.