Een deelverzameling is een een verzameling uit een andere verzameling. Stel je hebt weer een verzameling van pannen. Deze verzameling kan je weer verdelen in deelverzamelingen. Bijvoorbeeld in de deelverzamelingen: keramische pannen, gietijzeren pannen en kopere pannen. Dit kan je weergeven met het teken ⊆. Met dit teken kan je verzamelingen met elkaar vergelijken.
Dus:
{kopere pannen} ⊆ {pannen}
Als A ⊆ B, is elk element van A ook een element van B.
Een ander teken dat je kan gebruiken voor een deelverzameling is ⊂. Stel: A ⊂ B. Hierbij ga je ervanuit dat B minimaal een element meer heeft dan A en dat A geen lege verzameling is.
Er geldt: A ⊂ B = A ⊆ B, mits A ≠ B en A ≠ ∅