En delmængde er en mængde indeholdt i en anden mængde. Hvis mængden A = {1, 2} og mængden B = {1, 2, 3, 4}, så er A en delmængde af B. Hver mængde er en delmængde af sig selv. Den tomme mængde er en delmængde af hver mængde.

En ægte delmængde er en delmængde, der ikke er lig med den oprindelige mængde. A har 2 elementer; B har 4. Da A ≠ B, er A en ægte delmængde af B. Antallet af delmængder af en mængde med n elementer er 2^n.

Delmængder optræder i mængdeteori, logik og datalogi. I sandsynlighed er begivenheder delmængder af stikprøverummet. I databaser vælger forespørgsler delmængder af poster. Konceptet er simpelt, men grundlæggende for moderne matematik.

• Sæt indeholdt i et andet sæt
• Hvert sæt er en delmængde af sig selv
• Tom mængde er en delmængde af enhver mængde
• Antallet af delmængder er 2^n