Delmængde: Forskelle mellem versioner

Content deleted Content added
m Tilføjede Kategori:Mængdelære ved hjælp af Hotcat
m Lidt formattering
Linje 1:
[[Fil:Venn A subset B.svg|thumbnail|[[Eulers diagram]] som viser, at ''A'' er en ægte delmængde af ''B'', og ligeledes at ''B'' er en ægte delmængde af ''A'']]
 
Indenfor [[matematik]], og specielt indenfor [[mængdelære]]n, 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 [[element (matematik)|elementer]] af ''B''). I symboler skriver vi <math>A\subseteq B</math>.

''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 <math>A \neq B</math>. Dette symboliseres således: <math>A\subset B</math>. Dersom vi har tre mængder, ''A, B'' og ''C'', som vist nedenfor, vil følgende udsagn være sande:
 
*<math>A=\{a,b,c\}\quad B= \{a,b,c,d\} \quad C=\{b,c,d\}</math>