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 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 . Dette symboliseres således: . Dersom vi har tre mængder, A, B og C, som vist nedenfor, vil følgende udsagn være sande:

Medier brugt på denne side

Venn A subset B.svg
Venn diagram for "A is a subset of B". Modification of Image:Venn A intersect B.svg based on w:en:Image:Venn A subset B.png