is een in de wiskunde veel voorkomend begrip. Zij M een verzameling van elementen, dan wordt de verzameling N een deelverzameling van M genoemd (schrijfwijze Nf-M), indien elk element van N tot M behoort.
Men noemt N een echte deelverzameling van M (NCM), als M géén deelverzameling van N is. Zo is de verzameling van de natuurlijke getallen een echte deelverzameling van die der rationale getallen.
