Пересечение множеств

Пересечение $A$ и $B$

Пересече́ние мно́жеств в теории множеств — это множество, которому принадлежат те и только те элементы, которые одновременно принадлежат всем данным множествам.

Определение

Пусть даны два множества $A$ и $B$. Тогда их пересечением называется множество

$A \cap B = \{x \mid x\in A \wedge x \in B\}.$

Замечание

Гораздо реже используется обозначение $AB$.

Свойства

• Пересечение множеств является бинарной операцией на произвольном булеане $2^X$;
• Операция пересечения множеств коммутативна:

  $A \cap B = B \cap A;$

• Операция пересечения множеств ассоциативна:

  $(A\cap B) \cap C = A \cap (B \cap C);$

• Операция пересечения множеств дистрибутивна относительно операции объединения:

  $\left( \bigcup_k A_k \right) \cap B = \bigcup_k \left( A_k \cap B\right)$

• Универсальное множество $U$ является нейтральным элементом операции пересечения множеств:

  $A\cap U = A;$

• Операция пересечения множеств идемпотентна:

  $A \cap A = A;$

• Если $\varnothing$ — пустое множество, то

  $A \cap \varnothing = \varnothing.$

Пример

Пусть $A = \{1,\;2,\;3,\;4\},\;B = \{3,\;4,\;5,\;6\}.$ Тогда

$A \cap B = \{3,\;4\}.$

См. также

• Операции над множествами