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

Пусть $\Large Е$ и $\Large S $два точечных множества. Если $\Large Е \subset S$, то множество $\Large S — E$ называется дополнением множества $\Large Е$ до множества $\Large S $
и обозначается так:
$\Large C_SE$

Если требуется меньше формул, то читайте здесь