Dopełnienie zbioru

Dopełnienie zbioru A to zbiór wszystkich elementów z przestrzeni, których nie ma w zbiorze A, czyli inaczej X \setminus A (różnica przestrzeni i zbioru A).

Dopełnienie zbioru oznaczamy symbolem ', czyli A' = X\setminus A to dopełnienie zbioru A.

Zatem, jeśli przestrzeń X = \mathbb{N} (liczby naturalne) i A = \mathbb{2N} (liczby parzyste), to A' = \mathbb{2N + 1} (liczby nieparzyste).

Inny przykład: jeśli przestrzeń X=\left\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\right\} i A=\left\{0, 2, 3, 4\right\}, to A'=\left\{1, 5, 6, 7, 8, 9\right\}.

A

A'