Delmængde

Euler-diagram som viser, at A er en ægte delmængde af B

Indenfor matematik, og specielt indenfor mængdelæren, er en mængde A en delmængde af en mængde B hvis A er "indeholdt" i B (hvis alle elementer af A også er elementer af B). I symboler skriver vi $A\subseteq B$.

A er en ægte delmængde af B hvis og kun hvis A er en delmængde af B, og det samtidig er gældende at $A\neq B$. Dette symboliseres således: $A\subset B$. Dersom vi har tre mængder, A, B og C, som vist nedenfor, vil følgende udsagn være sande:

• $A=\{a,b,c\}\quad B=\{a,b,c,d\}\quad C=\{b,c,d\}$

• $A\subseteq B$

• $B\subseteq B$

• $A\subset B$

• $C\subset B$

• $A\not \subseteq C$

• $C\not \subseteq A$