Et delsett er et sett som finnes i et annet sett. Hvis sett A = {1, 2} og sett B = {1, 2, 3, 4}, så er A et delsett av B. Hvert sett er et delsett av seg selv. Det tomme settet er et delsett av hvert sett.

En ekte delmengde er en delmengde som ikke er lik den opprinnelige mengden. A har 2 elementer; B har 4. Siden A ≠ B, er A en ekte delmengde av B. Antall delmengder av en mengde med n elementer er 2^n.

Delmengder forekommer i mengdelære, logikk og informatikk. I sannsynlighetslære er hendelser delmengder av utvalgsrommet. I databaser velger spørringer delmengder av poster. Konseptet er enkelt, men grunnleggende for moderne matematikk.

• Sett som finnes i et annet sett
• Hvert sett er en delmengde av seg selv
• Tomt sett er en delmengde av hvert sett
• Antall delmengder er 2^n