Deelverzameling

In de verzamelingenleer is een deelverzameling van een gegeven verzameling een verzameling die geheel bevat is in (deel is van) de gegeven verzameling. Elk element van de deelverzameling is dus ook element van de gegeven verzameling. Als ieder element van de verzameling ${\displaystyle A}$ ook een element is van de verzameling ${\displaystyle B}$, dan is ${\displaystyle A}$ een deelverzameling van ${\displaystyle B}$, genoteerd als ${\displaystyle A\subseteq B}$.

Iedere verzameling is een deelverzameling van zichzelf, voor iedere verzameling ${\displaystyle A}$ geldt dus ${\displaystyle A\subseteq A}$.

De omgekeerde definitie is minder gebruikelijk. Als ${\displaystyle A}$ een deelverzameling is van ${\displaystyle B}$ zegt men ook dat ${\displaystyle B}$ de verzameling ${\displaystyle A}$ omvat, genoteerd als ${\displaystyle B\supseteq A}$.