Унарное дополнение множества

Всё, кроме элементов множества

Это операция, дающая множество всех элементов универсума, не принадлежащих данному множеству
$$\overline{A}=\{x\mid x\in\mathbb{U},\ x\notin A\}$$
Обозначается символами: $\overline{A},A^{\complement}$
Унарное дополнение множества можно выразить через исключение множества из универсума
$$\overline{A}\equiv A^{\complement}=\mathbb{U}\setminus A$$
Унарное дополнение множества аналогично логическому отрицанию в алгебре логики