Элементы топологии

Через {a, b, c} обозначается множество, которое содержит элементы a, b, c и не содержит других. Если среди a, b, c есть равные, оно может содержать один или два элемента. Подобно обозначение используется и в менее формальных ситуациях: множество членов последовательности a0, a1, . . . обозначается {a0, a1, . . .} или даже {ai}. Более аккуратная запись для того же множества такова: {ai i ∈ N}, где N — множество натуральных чисел {0, 1, 2, . . .}.
1.3 Круги Эйлера и диаграммы Венна
Диаграммы Эйлера (круги Эйлера) — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления.
Диаграммы Венна (диаграммы Эйлера — Венна) в отличие от диаграмм Эйлера изображают все 2n комбинаций n свойств, то есть конечную булеву алгебру. При n=3 диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.
Чаще всего используют диаграммы Эйлера — Венна. С их помощью можно легко проиллюстрировать операции с множествами, такие как:
Объединение