delmängd. En mängd A sägs vara delmängd av en annan mängd B när alla element i A också är element i B, vilket i mängdteori skrivs A⊂B eller A⊆B; om dessutom något element i B inte är element i A, sägs A vara en äkta delmängd av B.