Основные понятия
Множество — совокупность, набор или собрание объектов, которые называют его элементами. Запись \(x\in A\) читается «x принадлежит A». Множество можно задать перечислением элементов либо характеристическим свойством. Пустое множество \(\varnothing\) не содержит ни одного элемента.1
Множество \(A\) является подмножеством \(B\), если из \(x\in A\) следует \(x\in B\). Запись \(A\subseteq B\) читается «A является подмножеством B». Два множества равны тогда и только тогда, когда \(A\subseteq B\) и \(B\subseteq A\).1
Операции над множествами
Пересечение определяется формулой
\[A\cap B=\{x\mid x\in A\text{ и }x\in B\}.\]
Объединение и разность определяются соответственно:
\[A\cup B=\{x\mid x\in A\text{ или }x\in B\},\]
\[A\setminus B=\{x\mid x\in A\text{ и }x\notin B\}.\]
Разность \(A\setminus B\) содержит элементы \(A\), которых нет в \(B\). Если все рассматриваемые множества лежат в фиксированном \(U\), то \(U\setminus A\) является дополнением \(A\) относительно \(U\).1
Пересечение и объединение коммутативны и ассоциативны. Дистрибутивные законы имеют вид
\[A\cap(B\cup C)=(A\cap B)\cup(A\cap C),\]
\[A\cup(B\cap C)=(A\cup B)\cap(A\cup C).\]
Формулы де Моргана относительно \(U\):
\[U\setminus(A\cap B)=(U\setminus A)\cup(U\setminus B),\]
\[U\setminus(A\cup B)=(U\setminus A)\cap(U\setminus B).\]1
Декартово произведение
Пара \((a,b)\) является упорядоченной: первая и вторая компоненты играют разные роли. Декартово произведение \(X\times Y\) состоит из всех пар \((x,y)\), для которых \(x\in X\) и \(y\in Y\). Поэтому \(X\times Y\) и \(Y\times X\) в общем случае различны. Декартовы произведения естественно используются при задании графиков функций и бинарных отношений.1