Двойное дополнение множества

Инволюция, дополнение дополнения множества

Это операция, дающая исходное множество
$$(A^{\complement})^{\complement }=A\quad\overline{(\overline{A})}=A$$
Обозначается символами: $\overline{(\overline{A})},(A^{\complement })^{\complement}$
Двойное дополнение множества является преобразованием, которое обратно самому себе
Двойное дополнение множества аналогично двойному отрицанию в алгебре логики