Vereniging (verzamelingenleer)

In de verzamelingenleer is de vereniging of unie van een collectie verzamelingen de verzameling die bestaat uit alle elementen van de samenstellende verzamelingen. Zo bestaat de vereniging van de verzamelingen ${\displaystyle A}$ en ${\displaystyle B}$ uit alle elementen die tot ${\displaystyle A}$, ${\displaystyle B}$ of allebei behoren.

De vereniging ${\displaystyle A\cup B}$ van de verzamelingen ${\displaystyle A}$ en ${\displaystyle B}$ is de verzameling die bestaat uit alle elementen van ${\displaystyle A}$ en van ${\displaystyle B}$:

${\displaystyle A\cup B=\{x\mid x\in A{\text{ of }}x\in B\}}$

De doorsnede en het verschil van twee verzamelingen worden op een overeenkomende manier gedefinieerd.

Zij ${\displaystyle A=\{1,2,6,10,12\}}$ en ${\displaystyle B=\{1,2,5,8\},}$ dan is ${\displaystyle A\cup B=\{1,2,5,6,8,10,12\}.}$

• De vereniging is een associatieve en commutatieve operatie, dus:

${\displaystyle A\cup (B\cup C)=(A\cup B)\cup C=A\cup B\cup C}$

en

${\displaystyle A\cup B=B\cup A}$

• De vereniging is distributief over de doorsnede:

${\displaystyle A\cup (B\cap C)=(A\cap B)\cup (A\cap B)}$

en omgekeerd is de doorsnede distributief over de vereniging:

${\displaystyle A\cap (B\cup C)=(A\cup B)\cap (A\cup B)}$

• Veronderstel dat er een verzameling ${\displaystyle A}$ is, waar twee andere verzamelingen ${\displaystyle B}$ en ${\displaystyle C}$ een deelverzameling van zijn.

${\displaystyle B\subseteq A\quad }$ en ${\displaystyle \quad C\subseteq A}$

Definieer het relatieve complement van een deelverzameling van ${\displaystyle A}$ ten opzichte van ${\displaystyle A}$ als het verschil tussen ${\displaystyle A}$ en die deelverzameling, bijvoorbeeld ${\displaystyle A\setminus B}$.

Dan zijn

${\displaystyle B\cup C=A\setminus \left(\left(A\setminus B\right)\cap \left(A\setminus C\right)\right)\quad }$ en ${\displaystyle \quad B\cap C=A\setminus \left(\left(A\setminus B\right)\cup \left(A\setminus C\right)\right)}$

Deze twee eigenschappen komen met de wetten van De Morgan overeen uit de wiskundige logica.

• ${\displaystyle x\in \bigcup _{i\in I}V_{i}\ \Leftrightarrow \ \exists i\in I\ \ x\in V_{i}\quad }$ waarin ${\displaystyle I}$ een indexverzameling is.

• Het aantal elementen in de vereniging ${\displaystyle \bigcup _{i=1}^{n}V_{i}}$ van een ${\displaystyle n}$ verzamelingen ${\displaystyle V_{i}}$ is

${\displaystyle |\ \bigcup _{i=1}^{n}V_{i}\ |\ =\ \sum _{i=1}^{n}|\ V_{i}\ |\ -\ \sum _{i<j}^{n}|\ V_{i}\cap V_{j}\ |\ +\ \sum _{i<j<k}^{n}|\ V_{i}\cap V_{j}\ \cap V_{k}\ |\ -\ \cdots \ \pm (-1)^{n+1}\ |\ V_{1}\cap \cdots \ \cap \ V_{n}\ |}$

Zij ${\displaystyle X}$ een willekeurige verzameling en ${\displaystyle {\mathcal {F}}}$ een familie deelverzamelingen van ${\displaystyle X.}$ De familie ${\displaystyle {\mathcal {F}}}$ mag oneindig of zelfs overaftelbaar veel verschillende deelverzamelingen van ${\displaystyle X}$ bevatten.

De vereniging van ${\displaystyle {\mathcal {F}}}$ is de deelverzameling van ${\displaystyle X}$ die bestaat uit alle elementen ${\displaystyle x\in X}$ die tot minstens één lid van de familie ${\displaystyle {\mathcal {F}}}$ behoren.

In het bijzonder is de vereniging van een lege familie dus leeg.

De veronderstelling van het bestaan van de universumverzameling ${\displaystyle X}$ is nodig om paradoxen te vermijden. De vereniging van een willekeurige familie verzamelingen is binnen de axiomatische verzamelingenleer niet gedefinieerd.

Zie de categorie Union (set theory) van Wikimedia Commons voor mediabestanden over dit onderwerp.