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.

