Delmengd
Frå Wikipedia – det frie oppslagsverket
Ei delmengd A av ei mengd B er ei mengd som er slik at alle elementa i A også er element i B. Me skriv 
. Dersom me samtidig veit at A og B ikkje er identiske, så er A ei ekte delmengd av B og me skriv 
. Dersom A er ei ekte delmengd av B, så er den også ei delmengd av B.
[endre] Eigenskapar
La 2A vera potensmengda til ei mengd A. Då induserer 
ein partiell orden på 2A:
- Dersom
og 
, så er B = C. - Dersom og
, så er 
.
Vidare er 
med likskap for B = C.
[endre] Døme
- Dei rasjonelle tala er ei delmengd av dei reelle tala;
. - Ei kvar mengd A er ei delmengd av potensmengda 2A;
. - Den tomme mengda
er ei delmengd av alle mengder; 
. - (I følgje visse definisjonar:) Det naturlege talet 1 er ei delmengd av 2;
. Dette kan og skrivast som 1 < 2.
