Delmengde
Utseende
Kildeløs: Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. Helt uten kilder. (10. okt. 2015) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/250px-Venn_A_subset_B.svg.png)
I mengdelæren er en mengde A en delmengde av en mengde B hvis og bare hvis alle elementer av A også er elementer av B. Motsatt kan man si at B er en overmengde av A, som er ekvalient med å si at B inkluderer A. I symboler skriver vi . A er en ekte delmengde av B hvis og bare hvis A er en delmengde av B, og Dette symboliseres slik: . Dersom vi har tre mengder, A, B og C, slik som vist nedenfor, vil følgende utsagn være sanne:
For en hvilken som helst mengde A gjelder det at den tomme mengden, , er en delmengde av A. Potensmengden til A, i symboler: , er mengden av alle As delmengder. For en mengde har vi at:
Det motsatte av delmengde er overmengde (engelsk: superset).