(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 eller
Mängden av de positiva heltalen är en delmängd av mängden av alla heltal.