Унарное дополнение множества
Всё, кроме элементов множества
- Это операция, результатом которой является множество элементов, принадлежащих $\mathbb{U}$, но не принадлежащих исходному множеству
- $$\overline{A} \equiv A^{\complement}=\mathbb{U} \setminus A$$
- $$\overline{A}=\{x \mid x \in \mathbb{U}, \ x \notin A\}$$