Deelverzameling

Een venndiagram van de verzameling als deelverzameling van .
omvat .

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 en verzamelingen zijn en ieder element van is ook een element van , dan is een deelverzameling van , genoteerd als:

.

Formeel:

.

Iedere verzameling is een deelverzameling van zichzelf, voor iedere verzameling geldt dus .

De omgekeerde definitie is minder gebruikelijk. Uitgaande van dezelfde verzamelingen en zeggen we: omvat , genoteerd als .