Een deelverzameling is een verzameling die binnen een andere verzameling ligt. Als verzameling A = {1, 2} en verzameling B = {1, 2, 3, 4}, dan is A een deelverzameling van B. Elke verzameling is een deelverzameling van zichzelf. De lege verzameling is een deelverzameling van elke verzameling.

Een echte deelverzameling is een deelverzameling die niet gelijk is aan de oorspronkelijke verzameling. A heeft 2 elementen; B heeft 4. Omdat A ≠ B, is A een echte deelverzameling van B. Het aantal deelverzamelingen van een verzameling met n elementen is 2^n.

Deelverzamelingen komen voor in de verzamelingentheorie, logica en informatica. In de kansrekening zijn gebeurtenissen deelverzamelingen van de steekproefruimte. In databases selecteren zoekopdrachten deelverzamelingen van records. Het concept is eenvoudig, maar fundamenteel voor de moderne wiskunde.

• Een set die zich binnen een andere set bevindt.
• Elke verzameling is een deelverzameling van zichzelf.
• De lege verzameling is een deelverzameling van elke verzameling.
• Het aantal deelverzamelingen is 2^n