Дополнение в теории множеств
ДОПОЛНЕНИЕ в теории множеств, операция, которая ставит в соответствие подмножеству А данного множества Ω подмножество В = ΩА, состоящее из тех и только тех элементов Ω, которые не принадлежат А. Множество В также называется дополнением множества А и обозначается обычно 
СА, СΩА. Если В = то 
= А. Дополнение множества Ω есть пустое множество.