Mængde: Forskelle mellem versioner

== Foreningsmængde ==

[[Fil:Venn0111.svg|thumb|150px|''A'' forenet med ''B'']]

Ofte har man behov for at konstruere nye mængder ud fra eksisterende. Eksempelvis kan to mængder blive "lagt sammen", idet man danner en mængde, der indeholder alle elementerne fra de to oprindelige mængder. Mængden betegnes foreningsmængden, og foreningsmængden af to mængder <math>A</math> og <math>B</math> betegnes <math>A \cup B</math>. Forenes <math>n</math> mængder, <math>X_1, X_2, \dots, X_n</math> benyttes ofte skrivemåden <math>\bigcup_{i=1}^n X_i</math>.

 

== Fællesmængde ==

[[Fil:Venn0001.svg|thumb|150px|''A'' snit ''B'']]

I analogi med ovenstående hænder det, at man ønsker at betragte mængder, der består af de elementer, flere mængder har til fælles. En sådan mængde kaldes fællesmængden. Fællesmængden af <math>A</math> og <math>B</math> betegnes <math>A \cap B</math>, og fællesmængden af mængderne <math>X_1, X_2, \dots, X_n</math> betegnes <math>\bigcap_{i=1}^n X_i</math>.

 

== Komplementærmængde ==

[[Fil:Venn0100.svg|150px|thumb|''A''\''B'']]

To mængder kan også "trækkes fra hinanden". Den relative komplement til <math>A</math> i <math>B</math> (også kaldet mængdedifferensen mellem <math>B</math> og <math>A</math>), betegnet <math>A \setminus B</math> (eller <math>A - B</math>) er mængden af alle elementer i <math>A</math>, der ikke er indeholdt i <math>B</math>; <math>A \setminus B = \{x \in A \mid x \notin B\}</math>.