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