Delmängd

Delmängd är ett begrepp inom mängdteorin. $A$ är en delmängd av $B$ om alla element som ingår i $A$ även ingår i $B$. Detta skrivs $A \subseteq B$. Varje mängd är en delmängd av sig själv och den tomma mängden ø är en delmängd av alla mängder. Om $A \subseteq B$ och $B \subseteq A$ så följer $A = B$. En äkta delmängd B till en mängd A är en delmängd till A som inte är lika med A, dvs A innehåller något element som inte finns i B. Ingen mängd är en äkta delmängd till sig själv och den tomma mängden är en äkta delmängd till alla icke-tomma mängder.

Exempel:

• Mängden av alla naturliga tal är en delmängd av mängden av alla heltal.
• Mängden av alla hästar är en delmängd av mängden av alla däggdjur.

Se även

• Äkta delmängd