Doplněk množiny

Z Wikipedie, otevřené encyklopedie

Máme-li množinu B \sub A, pak množina B^\prime všech prvků c \in A, pro které platí c \notin B, se nazývá doplněk (komplement) množiny B (v množině A).

Doplněk množiny jsou tedy všechna prvky, které do dané množiny nepatří, což lze vyjádřit pomocí rozdílu

B^\prime = A - B

Doplněk množiny B značíme B nebo B^\prime.

Pokud hovoříme pouze o doplňku množiny, tzn. neuvádíme vzhledem ke které množině je doplňkem, pak máme na mysli doplněk vzhledem k univerzální množině I.

Doplňkem doplňku množiny A je opět množina A, tzn. − ( − A) = A.