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 A^C.^[1] Joskus käytetään myös merkintöjä A′,${\displaystyle {\bar {A}}}$ sekä ${\displaystyle \complement _{E}A}$ (missä E on perusjoukko) tai ${\displaystyle \complement A}$.

Muodollisesti komplementti määritellään seuraavasti:

${\displaystyle A^{c}=\{x\in E\,|\,x\not \in A\}}$, missä E on perusjoukko.

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

${\displaystyle A^{c}=E\,\setminus \,A}$

1. ↑ Viittausvirhe: Virheellinen <ref>-elementti; viitettä m1 ei löytynyt