1. (matematik) mängd vars samtliga element också är element i en annan mängd; om denna andra mängd innehåller fler element än den första sägs denna första vara en äkta delmängd; att A är en delmängd av B skrives A ⊂ B {\displaystyle A\subset B} eller A ⊆ B {\displaystyle A\subseteq B}
Mängden av de positiva heltalen är en delmängd av mängden av alla heltal.