Наглядно отношения между множествами изображают при помощи особых чертежей, называемых КРУГАМИ ЭЙЛЕРА (или диаграммами Эйлера – Венна).
Для этого множества, сколько бы они ни содержали элементов, представляют в виде кругов или любых других замкнутых кривых (фигур) – рис.1.
Рис. 1.
1. Пусть даны два множества: X={a; b; c; d} иY={l; k; m; b; c}. Множества Х и Y содержат некоторые одинаковые элементы, а именно “b” и “c”. В данном случае говорят, что множества X иY находятся в отношении ПЕРЕСЕЧЕНИЯ. С помощью кругов Эйлера данное отношение можно представить в виде рис. 2.
X Y B1 B2
Рис. 2. Рис. 3.
2. Пусть даны множества B1={1; 2; 3} и B2={4; 5; 6}.
Данные множества различны, у них нет одинаковых элементов. В таком случае говорят, что множества B1 и B2 находятся в отношении НЕПЕРЕСЕЧЕНИЯ.
С помощью кругов Эйлера данное отношение показано на рис. 3.
3. Пусть даны множества A={a; b; c; d; e} и B={a; b; c}.
Очевидно, что эти множества пересекаются; кроме того, каждый элемент
множества В является в то же время (одновременно) и элементом множества А. Тогда говорят, что множество В ВКЛЮЧЕНО в множество А, или что В есть ПОДМНОЖЕСТВО множества А.