Joukkoerotus

Joukkoerotus on joukko-oppiin liittyvä termi, joka tarkoittaa tietyn joukon alkioiden poistamista toisesta joukosta. Joukkojen B ja A joukkoerotus sisältää ne alkiot, jotka kuuluvat joukkoon B mutteivät joukkoon A. Joukkojen A ja B erotusta merkitään $B\setminus A$ tai $B-A$.

Joukkojen B ja A joukkoerotus on tässä oikeanpuoleinen sinertävä alue.

Muodollisesti joukkoerotus määritellään seuraavasti: $B\setminus A=\{x\in B\;|\;x\notin A\}$.

Esimerkkejä

• $\{1,2,3\}\setminus \{2,3,4\}=\{1\}$
• $\{a,b,c,d\}\setminus \{a,b,e\}=\{c,d\}$
• Reaalilukujen joukon $\mathbb {R}$ ja rationaalilukujen joukon $\mathbb {Q}$ joukkoerotus $\mathbb {R} \setminus \mathbb {Q}$ on irrationaalilukujen joukko.

Katso myös

• Komplementti
• Yhdiste
• Leikkaus

Kirjallisuutta

• Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0-07-037986-6