Теория:
В универсальное множество входят все обозначенные подмножества, а также элементы, которые не входят ни в одно из подмножеств.
Рассмотрим взаимное расположение элементов множеств для одного, двух, трёх множеств.
• Во множество (\(2\)) входят те элементы множества \(A\), которые не входят во множество \(B\), \(B\) и не \(A\), (\(B\) &\(A\)).
• Во множество (\(3\)) входят те элементы, которые одновременно принадлежат и множеству \(A\), и множеству \(B\), \(A\) и \(B\), (\(A\) & \(B\)).
• Во множество (\(0\)) входят все элементы, не вошедшие ни во множество \(A\), ни во множество \(B\), не \(A\) и не \(B\), (\(\)\(A\)\( \) &\(B\)).
При этом множество \(A\) состоит из подмножеств (\(2\)) и (\(3\)); множество \(B\) — из подмножеств (\(3\)) и (\(1\)).
Область (\(3\)) называется пересечением множеств \(A\) и \(B\) (\(A\) & \(B\)).
А область (\(1\)), (\(2\)), (\(3\)) — объединением множеств \(A\) и \(B\) (\(A|B\)).
В область (\(0\)) входят элементы, не вошедшие ни в область \(A\), ни в область \(B\).
Для этой области есть несколько равнозначных обозначений:
\((A|B)\) \(=\) \(A\) &\(B\).
Множество \(A\) состоит из подмножеств (\(4\)), (\(5\)), (\(6\)), (\(7\)); множество \(B\) — из подмножеств (\(2\)), (\(3\)), (\(6\)), (\(7\)); множество \(C\) — из подмножеств (\(1\)), (\(3\)), (\(5\)), (\(7\)).
Область (\(1\)) \(C\) и не \(A\) или \(B\); \(C\) &\((A|B)\).
Область (\(2\)) \(B\) и не \(A\) или \(C\); \(B\) &\((A|C)\).
Область (\(3\)) \(B\) и \(C\) и не \(A\) ; \(B\) & \(C\) &\(A\).
Область (\(4\)) \(A\) и не \(B\) или \(C\); \(A\) &\((B|C)\).
Область (\(5\)) \(A\) и \(C\) и не \(B\); \(A\) & \(C\) &\(B\).
Область (\(6\)) \(A\) и \(B\) и не \(C\); \(A\) & \(B\) &\(C\).
Область (\(7\)) \(A\) и \(C\) и \(B\); \(A\) & \(C\) & \(B\).
Область (\(0\)) не (\(A\) и \(C\) и \(B\)); (\(A\) & \(C\) & \(B\)).
Количество пересечений (областей) \(N\) определяется по формуле: , где \(n\) — количество множеств.