Изменения

<tex>\overline{A} = U </tex> \ <tex> A </tex> - дополнение множества А, дополнительное множество к А до U;

|statement=

<tex>\overline{\bigcup\limits_\alpha A_\alpha} = \bigcap\limits_\alpha \overline{A_\alpha} \\

\overline{\bigcap\limits_\alpha A_\alpha} = \bigcup\limits_\alpha \overline{A_\alpha} </tex>

????????

}}