Komplementti (joukko-oppi)

Komplementti tai komplementtijoukko on joukko-oppiin liittyvä termi. Joukon A komplementti sisältää kaikki ne alkiot, jotka eivät kuulu joukkoon A. Komplementti otetaan perusjoukon suhteen. Joukon A komplementtia merkitään AC. Joskus käytetään myös merkintöjä A′,  sekä  (missä E on perusjoukko) tai .

Muodollisesti komplementti määritellään seuraavasti:

, missä E on perusjoukko.

Komplementti voidaan määritellä myös joukkoerotuksena perusjoukosta E:

Esimerkkejä 
 Jos perusjoukko on {0,1,2,3,4,5}, on {1,2,3}C = {0,4,5}.
 Jos perusjoukkona on reaalilukujen joukko, on rationaalilukujen joukon komplementti irrationaalilukujen joukko.

Katso myös 
 joukkoerotus
 yhdiste
 leikkaus

Lähteet

Kirjallisuutta
 

Joukko-oppi