Indenfor matematik, og specielt indenfor mængdelæren, er en mængde A en delmængde af en mængde B hvis A er "indeholdt" i B (hvis alle elementer af A også er af B). I symboler skriver vi .
![image](https://www.wikidata.da-dk.nina.az/image/aHR0cHM6Ly93d3cud2lraWRhdGEuZGEtZGsubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpOWlMMkl3TDFabGJtNWZRVjl6ZFdKelpYUmZRaTV6ZG1jdk1qSXdjSGd0Vm1WdWJsOUJYM04xWW5ObGRGOUNMbk4yWnk1d2JtYz0ucG5n.png)
A er en ægte delmængde af B hvis og kun hvis A er en delmængde af B, og det samtidig er gældende at . Dette symboliseres således: . Dersom vi har tre mængder, A, B og C, som vist nedenfor, vil følgende udsagn være sande:
wikipedia, dansk, wiki, bog, bøger, bibliotek, artikel, læs, download, gratis, gratis download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, billede, musik, sang, film, bog, spil, spil, mobile, Phone, Android, iOS, Apple, mobiltelefon, Samsung, iPhone, Xiomi, Xiaomi, Redmi, Honor, Oppo, Nokia, sonya, mi, PC, web, computer