En delmängd är en mängd som ingår i en annan mängd. Om mängden A = {1, 2} och mängden B = {1, 2, 3, 4}, då är A en delmängd av B. Varje mängd är en delmängd av sig själv. Den tomma mängden är en delmängd av varje mängd.

En äkta delmängd är en delmängd som inte är lika med den ursprungliga mängden. A har 2 element; B har 4. Eftersom A ≠ B, är A en äkta delmängd av B. Antalet delmängder av en mängd med n element är 2^n.

Delmängder förekommer i mängdteori, logik och datavetenskap. Inom sannolikhet är händelser delmängder av stickprovsrummet. I databaser väljer frågor delmängder av poster. Konceptet är enkelt men grundläggande för modern matematik.

• Uppsättning som finns inom en annan uppsättning
• Varje mängd är en delmängd av sig själv
• Tom mängd är en delmängd av varje mängd
• Antal delmängder är 2^n