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