Используя диаграммы Эйлера, проиллюстрируйте такие свойства операций над множествами:
- (A∩B)∩C=A∩(B∩C);
- A∪(B∩C)=(A∪B)∩(A∪C).
На диаграммах знак «+» отмечает области, входящие в обе части равенства, а знак «−» — остальные области. При переносе в тетрадь области с плюсом можно заштриховать.
По определению пересечения
Если сначала построить
Следовательно, обе части равны. Это сочетательное свойство пересечения.
Слева объединяем весь круг
Справа элемент должен принадлежать одновременно
Если элемент не принадлежит
Итак, справа получаются те же пять областей, что и слева. Это распределительное свойство объединения относительно пересечения. Оба равенства проиллюстрированы совпадением отмеченных областей.
- Обе части содержат только общую область
. - Обе части содержат весь круг
и общую часть кругов и .
