Дополнение в теории множеств

Дополне́ние в теории множеств, операция, которая ставит в соответствие подмножеству ${\displaystyle A}$ данного множества ${\displaystyle \Omega }$ подмножество ${\displaystyle B=\Omega \setminus A}$, состоящее из тех и только тех элементов ${\displaystyle \Omega }$, которые не принадлежат ${\displaystyle A}$. Множество ${\displaystyle B}$ также называется дополнением множества ${\displaystyle A}$ и обозначается обычно ${\displaystyle {\text{Ᾱ}}}$, ${\displaystyle CA}$, ${\displaystyle C\Omega A}$. Если ${\displaystyle B={\text{Ᾱ}}}$, то' '${\displaystyle {\bar {B}}=A}$ дополнение множества ${\displaystyle \Omega }$ есть пустое множество.