ОТНОШЕНИЯ И ОПЕРАЦИИ НАД МНОЖЕСТВАМИ ДИАГРАММЫ ЭЙЛЕРА – ВЕННА МНОЖЕСТВА
Под множеством понимают, следуя основателю теории Г. Кантору, «многое, мыслимое как единое». Множество есть совокупность определенных вполне различаемых объектов (субъектов), которые называются элементами, объединенных некоторым свойством.
Диаграмма Эйлера – Венна
Таблица отношений и операций над множествами ОпределениеОбозначениеДиаграмма Два множества А и В равны, если они содержат одни и те же элементы. А=В
Множество А есть подмножество множества В, если каждый элемент А является элементом и В. Говорят, что А включено в В.
Дополнением множества А до универсального множества 1 называется множество, элементы которого не принадлежат А.
Пересечением двух множеств А и В называется множество элементов, принадлежащих одновременно и множеству А, и множеству В.
Объединением множеств А и В называется множество элементов, принадлежащих хотя бы одному из множеств А или В.
Разностью между множествами А и В называется совокупность тех элементов множества А, которые не принадлежат множеству В.
Симметрическая разность А и В есть объединение двух разностей и.
Пример, иллюстрирующий диаграммами Эйлера – Венна справедливость следующего отношения включения: Порядок выполнения операций:
Диаграмма Эйлера – Венна
Пример, иллюстрирующий диаграммами Эйлера – Венна равенство множеств Порядок выполнения операций:
Диаграмма Эйлера – Венна