In de
verzamelingenleer is een
deelverzameling van een gegeven
verzameling een verzameling die geheel bevat is in (deel is van) de gegeven verzameling. Alle
elementen van de deelverzameling zijn dus ook element van de gegeven verzameling. Als
A en
B verzamelingen zijn en ieder element van
A is ook een element van
B, dan is
A een deelverzameling van
B, genoteerd als:
- .