Wikipedia
En äkta delmängd är ett specialfall av en delmängd. A är en äkta delmängd till B om A är en delmängd till B och A ≠ B. Detta skrivs A ⊂ B. Ingen mängd är en äkta delmängd till sig själv och ø är en äkta delmängd av alla mängder utom sig själv.