Redigerer Mengde (avsnitt)

== Delmengder ==
[[File:Venn A subset B.svg|150px|right|A er en delmengde av B]]
Hvis ''A'' og ''B'' er mengder, og ethvert element i ''A'' også er et element i ''B'', så kalles ''A'' en [[delmengde]] eller en ''undermengde'' av ''B'', og man skriver ''A'' ⊂ ''B''.  Dersom ''B'' i tillegg inneholder elementer som ikke er i ''A'' og ''A'' er ikke-tom, så er ''A'' er en ''ekte delmengde''.    Mengden {1, 2} har fire delmengder, den tomme mengden, {1}, {2} og {1, 2}.   Bare {1} og {2} er ekte delmengder.  

Hvis ''B'' også er en delmengde av ''A'', må begge mengdene inneholde nøyaktig de samme elementene. Per definisjon er da ''A'' lik ''B'', og man skriver ''A'' = ''B''.

To delmengder er [[disjunkte mengder|disjunkte]] dersom de ikke inneholder felles element.  Mengdene {1,2} og {3,4} er disjunkte.  

Mengder er ofte betraktet som elementer av en større fast mengde, kalt ''universalmengden''.<ref name=RDM1/>

En [[partisjon (mengdelære)|partisjon]] av en mengde ''M'' er en oppdeling av mengden i disjunkte ikke-tomme delmengder, slik at alle elementene i ''M'' er medlem av én og kun én delmengde.