Doplnok (množiny)

Komplement alebo doplnok podmnožiny $A$ množiny $B$, zväčša sa označuje symbolom $A^{c}$, je množina všetkých prvkov množiny $B$ ktoré nie sú prvkami množiny $A$. Zapísané množinovo

$A^{c}:=B\setminus A$,

alebo ekvivalentne

$A^{c}:=\{x\in B\,|\,x\not \in A\}$.

Pojem komplementu nemá zmysel v prípade, že nie je udaná nadmnožina vzľadom ku ktorej sa komplement uvažuje. V našej prezentácii pojmu je touto nadmnožinou $B$.