(matematik)mängd vars samtliga element också är element i en annan, större mängd; mängd som är en delmängd till en annan mängd, men inte lika med denna andra mängd; att A är en äkta delmängd till B skrives
Mängden av de rationella talen är en äkta delmängd till mängden av alla reella tal.